justfile: add doc-deploy recipe to deploy doc to gh

Deploy to GitHub pages. /settings/pages Source: deploy from a branch Branch: gh-pages /(root) Issue #39
iacopy · Nov 3, 2023 · e974a7e · e974a7e
1 parent 857432e
commit e974a7e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/justfile b/justfile
@@ -227,6 +227,10 @@ setenv VIRTUALENV:
 @doc:
     poetry run mkdocs serve
 
+# deploy HTML documentation to github pages
+@doc-deploy:
+    poetry run mkdocs gh-deploy
+
 # WARNING! Remove untracked stuff (git clean -idx)! Useful to clean artifacts.
 clean:
     # NB: after this, you will need to recompile cython files