Various minor improvements of comments in mli for ocamldoc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12976 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 4 deletions

diff --git a/library/declaremods.mli b/library/declaremods.mli
index 4cbdf4ce4..b7126147e 100644
--- a/library/declaremods.mli
+++ b/library/declaremods.mli
@@ -13,9 +13,7 @@ open Environ
 open Libnames
 open Libobject
 open Lib
-   (**/**)
 
-(** {6 Sect } *)
 (** This modules provides official functions to declare modules and
   module types *)
 
@@ -65,7 +63,7 @@ val start_modtype : (env -> 'modast -> module_struct_entry) ->
 val end_modtype : unit -> module_path
 
 
-(** {6 Sect } *)
+(** {6 ... } *)
 (** Objects of a module. They come in two lists: the substitutive ones
   and the other *)
 
@@ -107,7 +105,7 @@ val import_module : bool -> module_path -> unit
 val declare_include : (env -> 'struct_expr -> module_struct_entry * bool) ->
   ('struct_expr * bool) list -> unit
 
-(** {6 Sect } *)
+(** {6 ... } *)
 (** [iter_all_segments] iterate over all segments, the modules'
     segments first and then the current segment. Modules are presented
     in an arbitrary order. The given function is applied to all leaves