]> matita.cs.unibo.it Git - helm.git/commitdiff
changed name to gdome2-xslt
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Apr 2002 13:39:14 +0000 (13:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Apr 2002 13:39:14 +0000 (13:39 +0000)
helm/DEVEL/gdome_xslt/ocaml/test/Makefile

index b36523d5df7884da6dd571440d76a92d9b25a1a2..777614abfc018094f25ddf866ba23748f41eb7cd 100644 (file)
@@ -1,4 +1,4 @@
-REQUIRES = gdome_xslt
+REQUIRES = gdome2-xslt
 PREDICATES =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)