From 98d8b07d0303d8d2e7f26c392c5f21c6b97ee3b8 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 9 Dec 2002 11:12:47 +0000 Subject: [PATCH] changed archives to mlgdome2-xslt --- helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in index 59c517a17..e5c9b19a1 100644 --- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in +++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in @@ -1,5 +1,4 @@ requires="gdome2" version="@VERSION@" -archive(byte)="gdome_xslt_init.cmo @PACKAGE@.cma" -archive(native)="gdome_xslt_init.cmx @PACKAGE@.cmxa" -linkopts="" +archive(byte)="mlgdome2-xslt.cma gdome_xslt_init.cmo" +archive(native)="mlgdome2-xslt.cmxa gdome_xslt_init.cmx" -- 2.39.2