build: add live target for docs to rebuild on changes
@@ -18,6 +18,9 @@ publish: clean
$(MAKE) build
$(MAKE) -C deploy publish
+live:
+ npx nodemon --ext txt --exec "$(MAKE) build" --ignore site
+
# Catch-all target: route all unknown targets to Sphinx using the new
# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
.PHONY: ALWAYS
