From 26e2c26277eb6d83f97af3168a4684dcacc5c4a2 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 22 Dec 2000 10:17:33 +0000
Subject: cleanall

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1194 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/coq.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/distrib/coq.spec b/distrib/coq.spec
index 14e5af155a..4027c7e8c9 100644
--- a/distrib/coq.spec
+++ b/distrib/coq.spec
@@ -27,10 +27,10 @@ Coq is a proof assistant which:
 
 %build
 ./configure -bindir /usr/bin -libdir /usr/lib/coq -mandir /usr/man -emacs emacs -emacslib /usr/share/emacs/site-lisp -opt         # Need ocamlc.opt and ocamlopt.opt
-make world-opt world       # Use native coq to compile theories
+make world       # Use native coq to compile theories
 
 %clean
-make cleanall
+make clean
 
 %install
 make -e COQINSTALLPREFIX=$RPM_BUILD_ROOT/ install
-- 
cgit v1.2.3