1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 729f7949a..3275b2306 100644
--- a/Makefile
+++ b/Makefile
@@ -25,3 +25,5 @@ gf:
 	runghc Setup.hs build rgl-none
 	strip dist/build/gf/gf
 
+html::
+	bash bin/update_html
+\ No newline at end of file