From 79fa6bd2247e4fc3c3142b187774e24b446b6716 Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Mon, 23 Mar 2020 09:21:13 -0400
Subject: [PATCH] Fix phpdoc.

---
 build.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build.xml b/build.xml
index 1007900..c618333 100644
--- a/build.xml
+++ b/build.xml
@@ -92,6 +92,8 @@
       </then>
     </if>
     <mkdir dir="${builddir}/apidocs"/>
+    <mkdir dir="${builddir}/docs_cache" />
+    <!-- Old embedded version; no longer works correctly...
     <phpdoc2 title="VuFindHarvest API Documentation"
       pharlocation="${srcdir}/vendor/bin/phpDocumentor-${phpdoc_version}.phar"
       destdir="${builddir}/apidocs">
@@ -99,6 +101,8 @@
         <include name="src/**/*.php" />
       </fileset>
     </phpdoc2>
+    -->
+    <exec command="php ${srcdir}/vendor/bin/phpDocumentor-${phpdoc_version}.phar --cache-folder=${builddir}/docs_cache --title=&quot;VuFindHarvest API Documentation&quot; -t ${builddir}/apidocs -d ${srcdir}/src" passthru="true" />
   </target>
 
   <!-- PHPUnit -->