From 3ae01fb7081658f9c2efaa24f4a7f69925dd6e95 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 24 Feb 2003 16:52:14 +0000
Subject: aide contextuelle / menus compilation + print + export

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3698 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 c39ec1b538..973d1d914d 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
-make world check      # Use native coq to compile theories
+make world      # Use native coq to compile theories
-- 
cgit v1.2.3