From fbfd564b0c9ff518be0c898fad7e5ef2071b2e45 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 9 Dec 2002 11:13:30 +0000 Subject: [PATCH] rebuilt --- helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.depend | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.depend b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.depend index 9e7b5fb8b..519df4ba6 100644 --- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.depend +++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.depend @@ -1,5 +1,5 @@ -gdome_xslt_init.cmo: i_gdome_xslt.cmo gdome_xslt_init.cmi -gdome_xslt_init.cmx: i_gdome_xslt.cmx gdome_xslt_init.cmi gdome_xslt.cmo: i_gdome_xslt.cmo gdome_xslt.cmi gdome_xslt.cmx: i_gdome_xslt.cmx gdome_xslt.cmi +gdome_xslt_init.cmo: i_gdome_xslt.cmo gdome_xslt_init.cmi +gdome_xslt_init.cmx: i_gdome_xslt.cmx gdome_xslt_init.cmi gdome_xslt.cmi: i_gdome_xslt.cmo -- 2.39.2