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

changed name to gdome2-xslt
---

diff --git a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile
index b36523d5d..777614abf 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile
+++ b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile
@@ -1,4 +1,4 @@
-REQUIRES = gdome_xslt
+REQUIRES = gdome2-xslt
 PREDICATES =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)