1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index e5a1f2fb3..80ecff061 100644
--- a/Makefile
+++ b/Makefile
@@ -20,6 +20,7 @@ doc:
 
 clean:
 	cabal clean
+	bash bin/clean_html
 
 gf:
 	cabal build rgl-none