From 4174a8c2f3280ff44a7da5bf98d84c7dafe25689 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 6 Jan 2004 17:26:22 +0000
Subject: pas ide

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5179 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/RH/do_build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'distrib')

diff --git a/distrib/RH/do_build b/distrib/RH/do_build
index 973d1d914d..db8fa10354 100644
--- a/distrib/RH/do_build
+++ b/distrib/RH/do_build
@@ -1,2 +1,2 @@
-./configure -bindir /usr/bin -libdir /usr/lib/coq -mandir /usr/man -emacs emacs -emacslib /usr/share/emacs/site-lisp -opt -reals all        # Need ocamlc.opt and ocamlopt.opt
+./configure -bindir /usr/bin -libdir /usr/lib/coq -mandir /usr/man -emacs emacs -emacslib /usr/share/emacs/site-lisp -opt -reals all -coqide no       # Need ocamlc.opt and ocamlopt.opt
 make world      # Use native coq to compile theories
-- 
cgit v1.2.3