From 26c7b886242f2de495f118967724e75f567681c6 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 4 Nov 2003 02:43:04 +0000
Subject: pour que make clean efface ide/utf8_convert.ml venant d'un .mll

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 83d9e79da..a15e0dccb 100644
--- a/Makefile
+++ b/Makefile
@@ -456,6 +456,7 @@ ide/utils/%.cmx: ide/%.ml
 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 $(COQIDEBYTE) $(COQIDEOPT)
 
 # coqc
-- 
cgit v1.2.3