]> git.immae.eu Git - github/shaarli/Shaarli.git/commitdiff
makefile: remove obsolete 'doc' target
authornodiscc <nodiscc@gmail.com>
Tue, 4 Jul 2017 19:26:27 +0000 (21:26 +0200)
committernodiscc <nodiscc@gmail.com>
Tue, 4 Jul 2017 19:26:27 +0000 (21:26 +0200)
official documentation can now be found in doc/md/

Makefile

index 1ddd60f8a602766771405fada0f845e063594550..2064303afa379e5b4f40ed6fd04aea878f0afa08 100644 (file)
--- 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
+