aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-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