diff --git a/Makefile b/Makefile
index 5ab3f0a24ffc2486cb9c26182230ff2ce9e5fccf..6394c42a5c3cd9ecfa57864c33cf15f87b0549cc 100644
--- a/Makefile
+++ b/Makefile
@@ -36,12 +36,6 @@ 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: ;