From bcf576bfce86b1ef53e465caa3a4be83f00814bd Mon Sep 17 00:00:00 2001
From: marche
Date: Tue, 20 Jan 2004 15:16:45 +0000
Subject: coqide utf8

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 58cf559ce5..97d8141cf2 100644
--- a/Makefile
+++ b/Makefile
@@ -409,12 +409,12 @@ beforedepend:: ide/utf8_convert.ml
 
 FULLIDELIB=$(FULLCOQLIB)/ide
 
-OLDCOQIDEVO=ide/utf8.vo
+COQIDEVO=ide/utf8.vo
 
-$(OLDCOQIDEVO): states/initial.coq states7/initial.coq
-	$(BOOTCOQTOP) $(TRANSLATE) -compile $*
+$(COQIDEVO): states/initial.coq 
+	$(BOOTCOQTOP) -compile $*
 
-IDEFILES=$(OLDCOQIDEVO) ide/coq.png ide/.coqide-gtk2rc ide/FAQ
+IDEFILES=$(COQIDEVO) ide/utf8.v ide/coq.png ide/.coqide-gtk2rc
 
 coqide: $(IDEFILES) coqide-$(HASCOQIDE)
 coqide-no:
@@ -424,7 +424,7 @@ coqide-opt:  $(COQIDEBYTE) $(COQIDEOPT) $(COQIDE)
 ide: coqide-$(HASCOQIDE) states
 
 clean-ide: 
-	rm -f $(OLDCOQIDEVO) $(COQIDECMO) $(COQIDECMX) $(COQIDECMO:.cmo=.cmi) $(COQIDEBYTE) $(COQIDEOPT)
+	rm -f $(COQIDEVO) $(COQIDECMO) $(COQIDECMX) $(COQIDECMO:.cmo=.cmi) $(COQIDEBYTE) $(COQIDEOPT)
 
 $(COQIDEOPT): $(COQMKTOP) $(CMX) $(USERTACCMX) ide.cmxa
 	$(SHOW)'COQMKTOP -o $@'	
@@ -466,7 +466,7 @@ clean::
 	rm -f ide/extract_index.ml ide/find_phrase.ml ide/highlight.ml
 	rm -f ide/config_lexer.ml ide/config_parser.mli ide/config_parser.ml
 	rm -f ide/utf8_convert.ml
-	rm -f $(OLDCOQIDEVO) $(COQIDECMO) $(COQIDECMX) $(COQIDECMO:.cmo=.cmi)
+	rm -f $(COQIDEVO) $(COQIDECMO) $(COQIDECMX) $(COQIDECMO:.cmo=.cmi)
 	rm -f $(COQIDEBYTE) $(COQIDEOPT)
 
 # coqc
-- 
cgit v1.2.3