diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index 8c10a9f947..5236f3e276 100644 --- a/Documentation/Makefile.sphinx +++ b/Documentation/Makefile.sphinx @@ -57,7 +57,7 @@ html: .PHONY: livehtml livehtml: - $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR) + $(SPHINXAUTOBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR) @echo @echo "Autobuild finished. The HTML pages are in $(BUILDDIR)."