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

remove spurious comment
---

diff --git a/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli b/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
index 7571ef3d2..ff3467235 100644
--- a/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
+++ b/helm/software/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
  *