-### 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
-