diff --git a/documentation/users-guide/Makefile b/documentation/users-guide/Makefile
index eee953ab312ae330f79cdba2e8b877f357be33ad..115276079038a54fd7b649c3dbf384333981ec59 100644
--- a/documentation/users-guide/Makefile
+++ b/documentation/users-guide/Makefile
@@ -16,7 +16,7 @@ help:
 .PHONY: help Makefile
 
 html-watch:
-	@$(SPHINXAUTOBUILD) "$(SOURCEDIR)" "$(BUILDDIR)/html" $(SPHINXOPTS) $(O)
+	@$(SPHINXAUTOBUILD) -i "$(BUILDDIR)/*" "$(SOURCEDIR)" "$(BUILDDIR)/html" $(SPHINXOPTS) $(O)
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).