From 10db208c84dc747a32c4c43ba73d43d91975c37b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 23 Feb 2017 12:56:03 +0100
Subject: [PATCH] Partially revert "add target html and gallinahtml"

This partially reverts 2bf11f4fcd8c5be591547b5f55e857de39d433d3.  There is no need to add new Makefile targets as the Makefile already forwards all targets to Makefile.coq.
---
 Makefile | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/Makefile b/Makefile
index 5ab3f0a2..6394c42a 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: ;
-- 
GitLab