From 1acc87eeac036b3ccfad5553b9092899cf2ecaa0 Mon Sep 17 00:00:00 2001
From: nodiscc <nodiscc@gmail.com>
Date: Sat, 7 Mar 2015 14:50:31 +0100
Subject: Include documentation/wiki locally:  * sync current wiki
 (https://github.com/shaarli/Shaarli/wiki) to the doc/ directory  * fix
 missing logo in README  * add link to local documentation in the page footer 
 * add Makefile targets for doc generation by @virtualtam

---
 Makefile | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index e17c8628..8f9ab9e7 100644
--- a/Makefile
+++ b/Makefile
@@ -92,3 +92,16 @@ mess_detector_summary: mess_title
 		warnings=$$($(BIN)/phpmd $(PHP_SOURCE) text $$rule | wc -l); \
 		printf "$$warnings\t$$rule\n"; \
 	done;
+
+##
+# Targets for repository and documentation maintenance
+#
+# remove all unversioned files
+clean:
+		@git clean -df
+
+# update the local copy of the documentation
+doc: clean
+		@rm -rf doc
+		@git clone https://github.com/shaarli/Shaarli.wiki.git doc
+		@rm -rf doc/.git
-- 
cgit v1.2.3