From f47aa40c12ec63a60d2edc959314a0a05f6fe610 Mon Sep 17 00:00:00 2001 From: nodiscc 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 + -- 2.41.0