From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 12 Apr 2002 13:38:17 +0000 (+0000)
Subject: changed package name to gdome2-xslt
X-Git-Tag: V_0_3_0_debian_8~165
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c277d72eced41eea9f24cb28bfe72f6858d7c80c;p=helm.git

changed package name to gdome2-xslt
---

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/configure.in b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/configure.in
index 40b2cab2d..fb5ff9cff 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/configure.in
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/configure.in
@@ -1,6 +1,6 @@
 AC_INIT(gdome_xslt.ml)
 
-PACKAGE=gdome_xslt
+PACKAGE=gdome2-xslt
 
 GDOMEXSLT_MAJOR_VERSION=0
 GDOMEXSLT_MINOR_VERSION=0