diff --git a/doc/OnlineDocs/Makefile b/doc/OnlineDocs/Makefile
index 246d8f7b990..443a3afaeff 100644
--- a/doc/OnlineDocs/Makefile
+++ b/doc/OnlineDocs/Makefile
@@ -28,5 +28,4 @@ clean:
 	    if test -d "$$D"; then echo "Removing $$D"; rm -r "$$D"; fi \
 	 done
 
-rebuild:
-	@$(MAKE) clean
+rebuild: clean html