From b525fbe0915931a939d5851b511ce46fcf026236 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Mon, 21 Sep 2020 14:15:31 +0200
Subject: No need for -R options, _CoqProject contains them already

---
 coq | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'coq')

diff --git a/coq b/coq
index fcf744fd..925bc4b9 100755
--- a/coq
+++ b/coq
@@ -1,10 +1,8 @@
 #!/bin/sh
-# Start coqide with the right -I options
+# Start coqide with the right options
 # Use the Makefile to rebuild dependencies if needed
 # Recompile the modified file after coqide editing
 
-INCLUDES=`make print-includes`
-
 make -q ${1}o || {
   make -n ${1}o | grep -v "\\b${1}\\b" | \
   (while read cmd; do
@@ -12,4 +10,4 @@ make -q ${1}o || {
    done)
 }
 
-"${COQBIN}coqide" -async-proofs off $INCLUDES $1 && make ${1}o
+"${COQBIN}coqide" -async-proofs off $1 && make ${1}o
-- 
cgit