From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 25 Mar 2005 23:45:33 +0000 (+0000)
Subject: remove x_gdome_caml.c generated source on "clean"
X-Git-Tag: V_0_0_6_7~2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e1cb0f658f9b16009fe536fd315b621df1157a65;p=helm.git

remove x_gdome_caml.c generated source on "clean"
---

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
index 6fa7a7f96..623d8cdc3 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
@@ -16,7 +16,7 @@ BUILT_SOURCES = x_gdome_xslt.c
 
 CLEANFILES = \
   $(ARCHIVE).cma $(ARCHIVE).cmxa $(ARCHIVE).a lib$(ARCHIVE).a $(DLL)	\
-  *.cmo *.cmx *.cmi
+  *.cmo *.cmx *.cmi $(BUILT_SOURCES)
 
 EXTRA_DIST =	\
 	META.in .depend	\