From 76a4ad7e9c3f0092e2d4138fb5e9c94d4c92116b Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Wed, 19 Nov 2014 17:03:34 +0100
Subject: [PATCH] set PHPDOC and force rebuilding of documentation

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 005bab591..9cc7a681c 100644
--- a/Makefile
+++ b/Makefile
@@ -2,6 +2,8 @@ VERSION=4.3.12
 SRC=CHANGELOG inc conf utils index.php languages views op out README.md README.Notification README.Ubuntu drop-tables-innodb.sql styles js TODO LICENSE Makefile webdav install restapi
 # webapp
 
+PHPDOC=~/Downloads/phpDocumentor-2.8.1/bin/phpdoc
+
 dist:
 	mkdir -p tmp/seeddms-$(VERSION)
 	cp -a $(SRC) tmp/seeddms-$(VERSION)
@@ -26,6 +28,6 @@ webapp:
 	rm -rf tmp
 
 doc:
-	phpdoc -d SeedDMS_Core --ignore 'getusers.php,getfoldertree.php,config.php,reverselookup.php' -t html
+	$(PHPDOC) -d SeedDMS_Core --ignore 'getusers.php,getfoldertree.php,config.php,reverselookup.php' --force -t html
 
 .PHONY: webdav webapp