From: Stefano Zacchiroli Date: Mon, 9 Dec 2002 11:21:11 +0000 (+0000) Subject: bugfix: removed EXTRA_DIST useless line X-Git-Tag: v0_3_99~148 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=ea95066e62c066c1b7e1605e03327faa82dbb1fb bugfix: removed EXTRA_DIST useless line --- diff --git a/helm/DEVEL/gdome_xslt/C++/Makefile.am b/helm/DEVEL/gdome_xslt/C++/Makefile.am index 4a4a9ba6a..30e2ce870 100644 --- a/helm/DEVEL/gdome_xslt/C++/Makefile.am +++ b/helm/DEVEL/gdome_xslt/C++/Makefile.am @@ -1,4 +1 @@ - -EXTRA_DIST = BUGS LICENSE aclocal.m4 SUBDIRS = gdome_xslt test -