Extend .gitignore.

Zimmi48 · Zimmi48 · commit 36b4af9f03d2 · 2018-07-23T09:15:18.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,6 @@
 Makefile.bak
+Makefile.coq
+Makefile.coq.conf
 *.v.d
 *.vo
 *.glob
@@ -9,6 +11,7 @@ tmp.*
 coqidescript
 coqdoc
 *#
+*~
 *.ml
 *.cmi
 *.cmx
