diff --git a/.gitignore b/.gitignore index 9044604f81..f0d31912d9 100644 --- a/.gitignore +++ b/.gitignore @@ -16,7 +16,8 @@ robots.txt /config/addon.ini.php #ignore documentation, it should be newly built -/doc/html +/doc/api +/doc/cache #ignore reports, should be generated with every build report/ diff --git a/build.xml b/build.xml deleted file mode 100644 index a61a5123d7..0000000000 --- a/build.xml +++ /dev/null @@ -1,76 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/mods/phpdoc-config.xml b/mods/phpdoc-config.xml new file mode 100644 index 0000000000..bcdfa7d3df --- /dev/null +++ b/mods/phpdoc-config.xml @@ -0,0 +1,24 @@ + + + + ../doc/api + ../doc/cache + + + + + src + mod + include + static + bin + view + + + vendor/**/* + asset/**/* + bin/dev/**/* + + + + \ No newline at end of file