diff --git a/.gitignore b/.gitignore
index 81e7db3db80242e5a807acef2dfc4cd59ff54b29..3aa26ca932ec7ab6ea370d0af281abeb5f60dafe 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,3 +11,4 @@
 .coq-native/
 Makefile.coq
 *.crashcoqide
+html/
\ No newline at end of file
diff --git a/Makefile b/Makefile
index 6394c42a5c3cd9ecfa57864c33cf15f87b0549cc..5ab3f0a24ffc2486cb9c26182230ff2ce9e5fccf 100644
--- a/Makefile
+++ b/Makefile
@@ -36,6 +36,12 @@ build-dep:
 	opam install opam-builddep-temp --deps-only $(YFLAG)
 	opam pin remove opam-builddep-temp
 
+html: Makefile.coq
+	+@make -f Makefile.coq html
+
+gallinahtml: Makefile.coq
+	+@make -f Makefile.coq gallinahtml
+
 # Some files that do *not* need to be forwarded to Makefile.coq
 Makefile: ;
 _CoqProject: ;