From 6f83a70c478f9b507727191f5125ad51c05eb9cd Mon Sep 17 00:00:00 2001 From: Philipp Date: Sat, 29 May 2021 22:37:28 +0200 Subject: [PATCH] Replace build.xml with mods/phpdoc-config.xml --- .gitignore | 3 +- build.xml | 76 ------------------------------------------ mods/phpdoc-config.xml | 24 +++++++++++++ 3 files changed, 26 insertions(+), 77 deletions(-) delete mode 100644 build.xml create mode 100644 mods/phpdoc-config.xml 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