From bcabf2c94886dcaa7af40588c6f2fb11b7b52efb Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sat, 8 Sep 2007 09:44:37 +0000 Subject: [PATCH] remove spurious comment --- DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli b/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli index 7571ef3d2..ff3467235 100644 --- a/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli +++ b/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli @@ -25,9 +25,7 @@ * For more information, please send an email to {sacerdot,zack}@cs.unibo.it *) -(* processStylesheet stylesheet *) -(* Process a stylesheet so that it can be subsequently used *) -(* with applyStylesheet. *) +(** Main interface to GDome XSLT functionalities *) (** processStylesheet stylesheet * -- 2.39.2