diff options
author | nodiscc <nodiscc@gmail.com> | 2017-07-04 21:26:27 +0200 |
---|---|---|
committer | nodiscc <nodiscc@gmail.com> | 2017-07-04 21:26:27 +0200 |
commit | f47aa40c12ec63a60d2edc959314a0a05f6fe610 (patch) | |
tree | 20eb3628332af349c95804c650f5acd97633ea10 /Makefile | |
parent | 2f9c1ecf8853d513ec86427b20e0d006b5296c9c (diff) | |
download | Shaarli-f47aa40c12ec63a60d2edc959314a0a05f6fe610.tar.gz Shaarli-f47aa40c12ec63a60d2edc959314a0a05f6fe610.tar.zst Shaarli-f47aa40c12ec63a60d2edc959314a0a05f6fe610.zip |
makefile: remove obsolete 'doc' target
official documentation can now be found in doc/md/
Diffstat (limited to 'Makefile')
-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 | |||