From 2bf11f4fcd8c5be591547b5f55e857de39d433d3 Mon Sep 17 00:00:00 2001
From: Benoit Viguier <benoit@viguier.nl>
Date: Wed, 15 Feb 2017 11:37:37 +0100
Subject: [PATCH] add target html and gallinahtml

also add html folder to .gitignore so generated doc is not added to the repo
---
 .gitignore | 1 +
 Makefile   | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/.gitignore b/.gitignore
index 81e7db3d..3aa26ca9 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 6394c42a..5ab3f0a2 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: ;
-- 
GitLab