Replace build.xml with mods/phpdoc-config.xml

This commit is contained in:
Philipp 2021-05-29 22:37:28 +02:00
parent dd63c243ab
commit 6f83a70c47
No known key found for this signature in database
GPG key ID: 9A28B7D4FF5667BD
3 changed files with 26 additions and 77 deletions

3
.gitignore vendored
View file

@ -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/