Merge branch 'benoit/coq-stdpp-make_html'

52b68900 · Robbert Krebbers · 0ee40447 · 2bf11f4f · 52b68900 · 52b68900
Commit 52b68900 authored Feb 22, 2017 by Robbert Krebbers
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 0 deletions

.gitignore .gitignore +1 -0

Makefile Makefile +6 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -11,3 +11,4 @@
 .coq-native/
 Makefile.coq
 *.crashcoqide
+html/
\ No newline at end of file
--- 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: ;