From a6b0dc443e95669b87c4e8d6c24d5d89520f8225 Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Fri, 20 Sep 2019 09:09:11 -0400
Subject: [PATCH] Add explicit cache setting for phpdoc.

---
 build.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 595ed1cc731..0dc33074cf2 100644
--- a/build.xml
+++ b/build.xml
@@ -158,6 +158,7 @@
         </if>
         <!-- Run phpdoc -->
         <mkdir dir="${builddir}/apidocs" />
+        <mkdir dir="${builddir}/docs_cache" />
         <!-- Old embedded version; no longer works correctly...
         <phpdoc2 title="VuFind API Documentation"
           pharlocation="${srcdir}/vendor/bin/phpDocumentor-${phpdoc_version}.phar"
@@ -167,7 +168,7 @@
           </fileset>
         </phpdoc2>
         -->
-        <exec command="php ${srcdir}/vendor/bin/phpDocumentor-${phpdoc_version}.phar --title=&quot;VuFind API Documentation&quot; -t ${builddir}/apidocs -d ${srcdir}/module" passthru="true" />
+        <exec command="php ${srcdir}/vendor/bin/phpDocumentor-${phpdoc_version}.phar --cache-folder=${builddir}/docs_cache --title=&quot;VuFind API Documentation&quot; -t ${builddir}/apidocs -d ${srcdir}/module" passthru="true" />
       </then>
     </if>
   </target>
-- 
GitLab