delete Makefile.coq on clean.

gmalecha · gmalecha · commit 5d19dff7329b · 2017-01-05T22:04:11.000-05:00
diff --git a/Makefile b/Makefile
@@ -15,6 +15,7 @@ examples: theories
 clean:
 	$(MAKE) -f Makefile.coq clean
 	$(MAKE) -C examples clean
+	@ rm Makefile.coq
 
 uninstall:
 	$(MAKE) -f Makefile.coq uninstall
