]> matita.cs.unibo.it Git - helm.git/commitdiff
remove x_gdome_caml.c generated source on "clean"
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Mar 2005 23:45:33 +0000 (23:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Mar 2005 23:45:33 +0000 (23:45 +0000)
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am

index 6fa7a7f96edf34297d28faf6422e5370fbee68de..623d8cdc37bd178a9d239b9087d9d4bb1afd913f 100644 (file)
@@ -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 \