Merge pull request #501 from chinapandaman/PPF-500

PPF-500: add serve docs to Makefile
chinapandaman · Feb 14, 2024 · 40813e0 · 40813e0
2 parents e03bb4c + 3e175c1
commit 40813e0
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -18,3 +18,6 @@ compare-pdf-diffs:
 
 deploy:
 	bash ./scripts/create_release.sh
+
+serve-docs:
+	bash ./scripts/serve_docs.sh
diff --git a/scripts/serve_docs.sh b/scripts/serve_docs.sh
@@ -0,0 +1,5 @@
+if [[ "$VIRTUAL_ENV" == "" ]]; then
+  source "./venv/bin/activate"
+fi
+
+mkdocs serve -q