Update make docs to use the docs/build.sh script

conjure-cp · Nov 17, 2023 · 0eadc65 · 0eadc65
1 parent 51d6bab
commit 0eadc65
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -73,7 +73,7 @@ clean:
 
 .PHONY: docs
 docs:
-	(cd docs; make conjure-help; make latexpdf; make singlehtml)
+	(cd docs; bash build.sh)
 
 .PHONY: ghci
 ghci:

diff --git a/docs/build.sh b/docs/build.sh
@@ -2,5 +2,8 @@ rm -rf myenv
 python3 -m venv myenv
 source myenv/bin/activate
 pip install -r requirements.txt
+make conjure-help
 make html
+make singlehtml
+make latexpdf
 deactivate