Merge pull request #1431 from Alizter/makefile_fix

Alizter · web-flow · commit 67cdb33f91a1 · 2021-03-30T19:30:29.000+02:00
modified _CoqProject so that it works with coq_makefile
diff --git a/_CoqProject b/_CoqProject
@@ -1,6 +1,7 @@
 -R theories HoTT
 -Q contrib ""
-COQC = hoqc
+-arg -noinit
+-arg -indices-matter
 
 #
 #   Table of contents:
