aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--Makefile6
1 files changed, 0 insertions, 6 deletions
diff --git a/Makefile b/Makefile
index 2064303a..c5dee80e 100644
--- a/Makefile
+++ b/Makefile
@@ -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
200htmlpages: 200htmlpages:
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; \