Don't re-generate _CoqProject in create_makefile.sh

No need to re-generate an unchanging file from scratch.

Don't re-generate _CoqProject in create_makefile.sh
No need to re-generate an unchanging file from scratch.
bc20368f · Björn Brandenburg · 525c94c8 · bc20368f · bc20368f · bc20368f
Commit bc20368f authored 5 years ago by Björn Brandenburg
--- a/.gitignore
+++ b/.gitignore
@@ -5,7 +5,6 @@
 /html
 *.aux
 Makefile*
-_CoqProject
 *.crashcoqide
 *.v#
 *.cache

--- a/_CoqProject
+++ b/_CoqProject
+-R . rt -arg "-w -notation-overriden,-parsing"
--- a/create_makefile.sh
+++ b/create_makefile.sh
@@ -14,10 +14,6 @@ do
    shift
 done

-# Include rt-proofs library in _CoqProject.
-# (For Coq versions >= 8.6, remove spurious warnings.)
-echo -R . rt -arg \"-w -notation-overriden,-parsing\" > _CoqProject
-
 # Compile all *.v files
 if [ "yes" == "$SKIP_CLASSIC" ]
 then