diff options
-rw-r--r-- | Makefile | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -198,12 +198,6 @@ doxygen: clean | |||
198 | # - convert GitHub-flavoured relative links to standard Markdown | 198 | # - convert GitHub-flavoured relative links to standard Markdown |
199 | # - generate html documentation with mkdocs | 199 | # - generate html documentation with mkdocs |
200 | htmlpages: | 200 | htmlpages: |
201 | # Rename local [[links]] to regular links. | ||
202 | @for file in `find doc/md/ -maxdepth 1 -name "*.md"`; do \ | ||
203 | sed -e "s/\[\[\(.*\)\]\]/[\1](\1)/g" "$$file" > doc/md/tmp.md; \ | ||
204 | mv doc/md/tmp.md $$file; \ | ||
205 | done | ||
206 | |||
207 | python3 -m venv venv/ | 201 | python3 -m venv venv/ |
208 | bash -c 'source venv/bin/activate; \ | 202 | bash -c 'source venv/bin/activate; \ |
209 | pip install mkdocs; \ | 203 | pip install mkdocs; \ |