📝 add offline pages for docset

2026-03-30 04:42:50 +00:00 · 2020-08-13 13:35:05 +02:00
parent 178125ff9b
commit d360fec216
4 changed files with 119 additions and 97 deletions
--- a/doc/mkdocs/Makefile
+++ b/doc/mkdocs/Makefile
@@ -2,6 +2,9 @@
 serve: prepare_files
 	venv/bin/mkdocs serve

+build: prepare_files
+	venv/bin/mkdocs build
+
 # create files that are not versioned inside the mkdocs folder
 prepare_files: clean
 	# build Doxygen