From f47aa40c12ec63a60d2edc959314a0a05f6fe610 Mon Sep 17 00:00:00 2001
From: nodiscc <nodiscc@gmail.com>
Date: Tue, 4 Jul 2017 21:26:27 +0200
Subject: [PATCH] makefile: remove obsolete 'doc' target official documentation
 can now be found in doc/md/

---
 Makefile | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

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
+