From 30952c5fdb922f6b9d8b16d2932dd0188cc33655 Mon Sep 17 00:00:00 2001 From: Azondekon Date: Fri, 28 Apr 2023 10:48:33 -0400 Subject: [PATCH] Update doc pipeline, build and deploy pdf doc --- .github/workflows/gh-pages.yaml | 2 +- Makefile | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/gh-pages.yaml b/.github/workflows/gh-pages.yaml index 3f07478..c5488bb 100644 --- a/.github/workflows/gh-pages.yaml +++ b/.github/workflows/gh-pages.yaml @@ -24,7 +24,7 @@ jobs: - name: Build Sphinx docs run: | make docs - docs/make latexpdf + make pdfdocs # https://github.com/peaceiris/actions-gh-pages - name: Deploy diff --git a/Makefile b/Makefile index 6cb011e..52f4bce 100644 --- a/Makefile +++ b/Makefile @@ -72,6 +72,9 @@ docs: ## generate Sphinx HTML documentation, including API docs $(MAKE) -C docs html $(BROWSER) docs/_build/html/index.html +pdfdocs: ## generate Sphinx PDF documentation, including API docs + cd docs && make latexpdf && cd .. + servedocs: docs ## compile the docs watching for changes watchmedo shell-command -p '*.rst' -c '$(MAKE) -C docs html' -R -D .