- @( cat Doxyfile ; echo "PROJECT_NUMBER=`git describe`" ) | doxygen -
-
-### 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