From: Stefano Zacchiroli Date: Wed, 15 Jan 2003 11:32:33 +0000 (+0000) Subject: removed generated output.xml from EXTRA_DIST X-Git-Tag: v0_3_99~34 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=be4b99fb02c2e880850534216f7f3d151956f234;p=helm.git removed generated output.xml from EXTRA_DIST --- diff --git a/helm/DEVEL/gdome_xslt/test_files/Makefile.am b/helm/DEVEL/gdome_xslt/test_files/Makefile.am index 4619094f7..ead191b52 100644 --- a/helm/DEVEL/gdome_xslt/test_files/Makefile.am +++ b/helm/DEVEL/gdome_xslt/test_files/Makefile.am @@ -1 +1 @@ -EXTRA_DIST = input.xml output.xml output.xml.correct stylesheet.xsl +EXTRA_DIST = input.xml output.xml.correct stylesheet.xsl