makefile: Add docs-live target

This enables faster iteration on documentation.

Signed-off-by: Matheus Nascimento <[email protected]>

Makefile

@@ -93,6 +93,11 @@ docs:  ## Generate documentation
 	$(MAKE) -C docs clean
 	$(MAKE) -C docs html
 
+.PHONY: docs-live
+docs-live:  ## Serve documentation on localhost:8000, with live-reload
+	$(MAKE) -C docs clean
+	$(MAKE) -C docs livehtml
+
 .PHONY: gh-pages
 gh-pages:  ## Publish documentation on GitHub Pages
 	$(eval GIT_REMOTE := $(shell git remote get-url $(UPSTREAM_GIT_REMOTE)))

docs/Makefile

@@ -1,6 +1,8 @@
 # Minimal makefile for Sphinx documentation
 #
 
+SPHINXAUTOBUILD = sphinx-autobuild
+
 # You can set these variables from the command line.
 SPHINXOPTS    = -n -W --keep-going
 SPHINXBUILD   = sphinx-build
@@ -22,3 +24,13 @@ html:
 	$(SPHINXBUILD) -W -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
+
+.PHONY: man
+man:
+	$(SPHINXBUILD) -b man -D exclude_patterns= $(ALLSPHINXOPTS) $(BUILDDIR)/man
+	@echo
+	@echo "Build finished. The man pages are in $(BUILDDIR)/man."
+
+.PHONY: livehtml
+livehtml:
+	$(SPHINXAUTOBUILD) -a $(ALLSPHINXOPTS) $(BUILDDIR)/html