mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-09-03 13:23:06 +02:00
Code Issues Releases Wiki Activity

[task/phpdoc] Switching from phpDocumentor to phpdoctor.

Browse Source 
You can get phpdoctor from https://github.com/peej/phpdoctor

PHPBB3-9943
This commit is contained in:
Nils Adermann
2011-01-07 02:25:06 +01:00
parent 03c52e79b9
commit a1731d5e6e
2 changed files with 131 additions and 86 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
build/build.xml
View File

@@ -65,8 +65,14 @@
</target>
<target name="docs">
<!-- only works if you setup phpdoctor:
git clone https://github.com/peej/phpdoctor.git
and then create an executable phpdoctor in your path containing
#!/bin/sh
php -f /path/to/phpdoctor/phpdoc.php $@
-->
<exec dir="build"
command="phpdoc -c phpdoc-phpbb.ini"
command="phpdoctor phpdoc-phpbb.ini"
passthru="true" />
</target>