From 2d5b24c1cbbec4ab6499df7a07ce2c49a944728f Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 8 Sep 1999 14:07:18 +0000
Subject: on fabrique aussi dev/db_printer.cmo

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

diff --git a/Makefile b/Makefile
index 581d751464..985f814114 100644
--- a/Makefile
+++ b/Makefile
@@ -50,7 +50,7 @@ OBJS=$(CONFIG) $(LIB) $(KERNEL) $(LIBRARY) $(PARSING)
 
 # Targets
 
-world: minicoq coqtop
+world: minicoq coqtop dev/db_printers.cmo
 
 # coqtop
 
-- 
cgit v1.2.3