Move Make to _CoqProject

mattam82 · mattam82 · commit cc747261e20f · 2016-01-05T17:16:41.000+01:00
diff --git a/Makefile b/Makefile
@@ -8,5 +8,5 @@ clean: Makefile.coq
 	$(MAKE) -f Makefile.coq clean
 	rm -f Makefile.coq
 
-Makefile.coq: Make
-	$(COQBIN)/coq_makefile -f Make -o Makefile.coq
+Makefile.coq: _CoqProject
+	$(COQBIN)/coq_makefile -f _CoqProject -o Makefile.coq
diff --git a/_CoqProject b/_CoqProject
@@ -12,6 +12,4 @@ Sigma.v
 Bool.v
 Nat.v
 Eq.v
-List.v
-NegPropExt.v
 

-Original file line number
+Diff line change
 Bool.v
 Nat.v
 Eq.v
 -List.v
 -NegPropExt.v