Skip to content

Commit

Permalink
Update doc pipeline, build and deploy pdf doc
Browse files Browse the repository at this point in the history
  • Loading branch information
rosericazondekon committed Apr 28, 2023
1 parent ac18d37 commit 30952c5
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/gh-pages.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
3 changes: 3 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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 .

Expand Down

0 comments on commit 30952c5

Please sign in to comment.