From: nodiscc <nodiscc@gmail.com>
Date: Tue, 4 Jul 2017 19:26:27 +0000 (+0200)
Subject: makefile: remove obsolete 'doc' target
X-Git-Tag: v0.9.1~1^2~20^2~2
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=f47aa40c12ec63a60d2edc959314a0a05f6fe610;hp=2f9c1ecf8853d513ec86427b20e0d006b5296c9c;p=github%2Fshaarli%2FShaarli.git

makefile: remove obsolete 'doc' target
official documentation can now be found in doc/md/
---

diff --git a/Makefile b/Makefile
index 1ddd60f8..2064303a 100644
--- a/Makefile
+++ b/Makefile
@@ -192,13 +192,6 @@ doxygen: clean
 	@rm -rf doxygen
 	@( cat Doxyfile ; echo "PROJECT_NUMBER=`git describe`" ) | doxygen -
 
-### update the local copy of the documentation
-doc: clean
-	@rm -rf doc/md/
-	@git clone https://github.com/shaarli/Shaarli.wiki.git doc/md
-	mv doc/md/Home.md doc/md/index.md
-	@rm -rf doc/md/.git
-
 ### Convert local markdown documentation to HTML
 #
 # For all pages:
@@ -218,4 +211,5 @@ htmlpages:
 	find doc/html/ -type f -exec chmod a-x '{}' \;
 	rm -r venv
 
-doc_html: authors doc htmlpages
+doc_html: authors htmlpages
+