update Makefile for make html with mermaid support

rcore-os · Jan 17, 2023 · 0a11063 · 0a11063
1 parent 4cadc31
commit 0a11063
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -13,7 +13,11 @@ BUILDDIR      = build
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
-.PHONY: help Makefile deploy liveview
+html:
+	@$(SPHINXBUILD) -M html "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+	@cp scripts/mermaid.js build/html/_static/
+
+.PHONY: help html Makefile deploy liveview
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
@@ -30,6 +34,7 @@ liveview:
 deploy:
 	@make clean
 	@make html
+	@cp scripts/mermaid.js build/html/_static/
 	@python3 scripts/fix-comments.py
 	@rm -rf docs
 	@cp -r build/html docs

diff --git a/scripts/deploy.yml → scripts/deploy.yml.with-nodejs-chrome b/scripts/deploy.yml → scripts/deploy.yml.with-nodejs-chrome