From 6f83a70c478f9b507727191f5125ad51c05eb9cd Mon Sep 17 00:00:00 2001 From: Philipp Date: Sat, 29 May 2021 22:37:28 +0200 Subject: [PATCH 1/2] 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 9044604f8..f0d31912d 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 a61a5123d..000000000 --- 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 000000000..bcdfa7d3d --- /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 From 6f4d21dab9200425b3d42127162e5bb6b3531be5 Mon Sep 17 00:00:00 2001 From: Philipp Date: Sat, 29 May 2021 23:28:19 +0200 Subject: [PATCH 2/2] add EOF --- mods/phpdoc-config.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mods/phpdoc-config.xml b/mods/phpdoc-config.xml index bcdfa7d3d..451c43281 100644 --- a/mods/phpdoc-config.xml +++ b/mods/phpdoc-config.xml @@ -21,4 +21,4 @@ - \ No newline at end of file +