From dbce157e12d497d0111e7aafd1e2888275c28041 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 4 Nov 2002 01:09:31 +0000
Subject: ajout d'une entrée au makefile pour faire toutes les theories sauf
 les reals

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

diff --git a/Makefile b/Makefile
index 2b8bfe2163..104c9268a9 100644
--- a/Makefile
+++ b/Makefile
@@ -567,6 +567,8 @@ wellfounded: $(WELLFOUNDEDVO)
 reals: $(REALSVO)
 sorting: $(SORTINGVO)
 
+noreal: logic arith bool zarith lists sets intmap relations wellfounded sorting
+
 # globalizations (for coqdoc)
 
 glob.dump::
-- 
cgit v1.2.3