diff --git a/Makefile b/Makefile index d0c3cbf..1cc691e 100644 --- a/Makefile +++ b/Makefile @@ -12,7 +12,11 @@ BUILDDIR = build help: @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) -.PHONY: help Makefile +# Custom (by me Loïc Guégan) +watch: + find ./source -type f | entr make html + +.PHONY: help Makefile watch # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).