@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:
# - convert GitHub-flavoured relative links to standard Markdown
# - generate html documentation with mkdocs
htmlpages:
- # Rename local [[links]] to regular links.
- @for file in `find doc/md/ -maxdepth 1 -name "*.md"`; do \
- sed -e "s/\[\[\(.*\)\]\]/[\1](\1)/g" "$$file" > doc/md/tmp.md; \
- mv doc/md/tmp.md $$file; \
- done
-
python3 -m venv venv/
bash -c 'source venv/bin/activate; \
pip install mkdocs; \
find doc/html/ -type f -exec chmod a-x '{}' \;
rm -r venv
-doc_html: authors doc htmlpages
+doc_html: authors htmlpages
+