Skip to content
Snippets Groups Projects
Commit 9d25a616 authored by Demian Katz's avatar Demian Katz
Browse files

Workaround for documentation problem.

parent bb1d45ca
No related merge requests found
...@@ -39,6 +39,7 @@ ...@@ -39,6 +39,7 @@
<!-- Create dirs --> <!-- Create dirs -->
<mkdir dir="${builddir}/reports"/> <mkdir dir="${builddir}/reports"/>
<mkdir dir="${builddir}/reports/coverage"/> <mkdir dir="${builddir}/reports/coverage"/>
<mkdir dir="${builddir}/apidocs"/>
<!-- PHP CodeSniffer --> <!-- PHP CodeSniffer -->
<exec command="phpcs --standard=PEAR --extensions=php --report=checkstyle ${srcdir}/module/VuFind/src &gt; ${builddir}/reports/checkstyle.xml" escape="false" /> <exec command="phpcs --standard=PEAR --extensions=php --report=checkstyle ${srcdir}/module/VuFind/src &gt; ${builddir}/reports/checkstyle.xml" escape="false" />
...@@ -51,6 +52,8 @@ ...@@ -51,6 +52,8 @@
destdir="${builddir}/apidocs"> destdir="${builddir}/apidocs">
<fileset dir="."> <fileset dir=".">
<include name="module/VuFind/src/**/*.php" /> <include name="module/VuFind/src/**/*.php" />
<!-- This file breaks phpdoc2; exclude until we can figure out why: -->
<exclude name="module/VuFind/src/VuFind/Log/Writer/Stream.php" />
</fileset> </fileset>
</phpdoc2> </phpdoc2>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment