update Makefile

0e409c0d · Ralf Jung · 2f9f3d3f · 0e409c0d · 0e409c0d
Commit 0e409c0d authored Sep 21, 2017 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletion

.gitignore .gitignore +2 -1

Makefile Makefile +1 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -9,7 +9,8 @@
 *~
 *.bak
 .coq-native/
-Makefile.coq*
+Makefile.coq
+Makefile.coq.conf
 *.crashcoqide
 html/
 build-dep/
--- a/Makefile
+++ b/Makefile
@@ -41,6 +41,7 @@ build-dep: build-dep/opam phony
 Makefile: ;
 _CoqProject: ;
 awk.Makefile: ;
+opam: ;

 # Phony wildcard targets
 phony: ;