Skip to content

Commit

Permalink
Add docs-*-open and docs-*-watch targets into top-level Makefile
Browse files Browse the repository at this point in the history
  • Loading branch information
jistr committed Jan 11, 2024
1 parent d7e273f commit 979b378
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -55,8 +55,20 @@ docs: docs-user docs-dev
docs-user:
cd docs_user; $(MAKE) html

docs-user-open:
cd docs_user; $(MAKE) open-html

docs-user-watch:
cd docs_user; $(MAKE) watch-html

docs-dev:
cd docs_dev; $(MAKE) html

docs-dev-open:
cd docs_dev; $(MAKE) open-html

docs-dev-watch:
cd docs_dev; $(MAKE) watch-html

docs-clean:
rm -r docs_build

0 comments on commit 979b378

Please sign in to comment.