Add dev server for docs

main
gravel 3 months ago
parent f7b85a1309
commit a4960789eb
Signed by: gravel
GPG Key ID: C0538F3C906B308F

@ -76,6 +76,13 @@ open:
docs:
$(MAKE) WATCHCMD="doxygen -q" watchdog
# Update Doxygen documentation on change and show in browser.
dev-docs: PORT = 8082
dev-docs: OUTPUT = .doxygen/html
dev-docs: open
$(MAKE) PORT=$(PORT) OUTPUT=$(OUTPUT) server &
$(MAKE) docs
# Update HTML on file change.
watchdog: WATCHCMD = $(MAKE) html
watchdog:

Loading…
Cancel
Save