From: Stefano Zacchiroli Date: Thu, 19 Jun 2003 15:28:41 +0000 (+0000) Subject: removed old -config script X-Git-Tag: V7_3_new_exportation_merged~14 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=2dc0733271cd251aaa3edaece8a883fe691775ab removed old -config script --- diff --git a/helm/DEVEL/gdome_xslt/.cvsignore b/helm/DEVEL/gdome_xslt/.cvsignore index 3d4d30a44..4d6980027 100644 --- a/helm/DEVEL/gdome_xslt/.cvsignore +++ b/helm/DEVEL/gdome_xslt/.cvsignore @@ -1,4 +1,3 @@ -gdome_xslt_cpp_smart-config gdome2-xslt-cpp-smart.pc gdome2-xslt.pc autom4te.cache diff --git a/helm/DEVEL/gdome_xslt/gdome_xslt_cpp_smart-config.in b/helm/DEVEL/gdome_xslt/gdome_xslt_cpp_smart-config.in deleted file mode 100644 index 0568803b6..000000000 --- a/helm/DEVEL/gdome_xslt/gdome_xslt_cpp_smart-config.in +++ /dev/null @@ -1,74 +0,0 @@ -#! /bin/sh - -prefix=@prefix@ -exec_prefix=@prefix@ -libdir=@libdir@ -includedir=@includedir@ -moduleconfdir=@datadir@/@PACKAGE@ - -usage() -{ - cat <