From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 8 Sep 2007 09:44:37 +0000 (+0000)
Subject: remove spurious comment
X-Git-Tag: 0.4.95@7852~204
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bcabf2c94886dcaa7af40588c6f2fb11b7b52efb;p=helm.git

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 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
  *