X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Fgdome_xslt%2Focaml%2Fgdome_xslt%2FMakefile.am;h=623d8cdc37bd178a9d239b9087d9d4bb1afd913f;hb=8aaf525856e25bcd8f355e505fd00f45c62bc18f;hp=6fa7a7f96edf34297d28faf6422e5370fbee68de;hpb=08db1550b751a5a1fde5a1e3df787f05c4c6110e;p=helm.git

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	\