remove spurious comment

diff --git a/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli b/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
index 7571ef3d2e0893d2c4cd61a7a64d9958a8e0cbd6..ff3467235921175958b2dbe58a2a6fc273f7ff04 100644 (file)
--- 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
  *