aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authornodiscc <nodiscc@gmail.com>2017-07-04 21:26:27 +0200
committernodiscc <nodiscc@gmail.com>2017-07-04 21:26:27 +0200
commitf47aa40c12ec63a60d2edc959314a0a05f6fe610 (patch)
tree20eb3628332af349c95804c650f5acd97633ea10
parent2f9c1ecf8853d513ec86427b20e0d006b5296c9c (diff)
downloadShaarli-f47aa40c12ec63a60d2edc959314a0a05f6fe610.tar.gz
Shaarli-f47aa40c12ec63a60d2edc959314a0a05f6fe610.tar.zst
Shaarli-f47aa40c12ec63a60d2edc959314a0a05f6fe610.zip
makefile: remove obsolete 'doc' target
official documentation can now be found in doc/md/
-rw-r--r--Makefile10
1 files 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
192 @rm -rf doxygen 192 @rm -rf doxygen
193 @( cat Doxyfile ; echo "PROJECT_NUMBER=`git describe`" ) | doxygen - 193 @( cat Doxyfile ; echo "PROJECT_NUMBER=`git describe`" ) | doxygen -
194 194
195### update the local copy of the documentation
196doc: clean
197 @rm -rf doc/md/
198 @git clone https://github.com/shaarli/Shaarli.wiki.git doc/md
199 mv doc/md/Home.md doc/md/index.md
200 @rm -rf doc/md/.git
201
202### Convert local markdown documentation to HTML 195### Convert local markdown documentation to HTML
203# 196#
204# For all pages: 197# For all pages:
@@ -218,4 +211,5 @@ htmlpages:
218 find doc/html/ -type f -exec chmod a-x '{}' \; 211 find doc/html/ -type f -exec chmod a-x '{}' \;
219 rm -r venv 212 rm -r venv
220 213
221doc_html: authors doc htmlpages 214doc_html: authors htmlpages
215