diff options
-rw-r--r-- | Makefile | 10 |
1 files changed, 2 insertions, 8 deletions
@@ -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 | ||
196 | doc: 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 | ||
221 | doc_html: authors doc htmlpages | 214 | doc_html: authors htmlpages |
215 | |||