From 6580615566d1ff9f47922c7079666521b9ee4df1 Mon Sep 17 00:00:00 2001
From: John Siirola <jsiirola@users.noreply.github.com>
Date: Fri, 11 Oct 2024 12:01:19 -0600
Subject: [PATCH] simplify makefile

---
 doc/OnlineDocs/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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