Changement niveaux de titre dans les commentaires

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

3 files changed, 20 insertions, 20 deletions

diff --git a/otherlibs/graph/graphics.mli b/otherlibs/graph/graphics.mli
index 3e256473a..2ff2a4e10 100644
--- a/otherlibs/graph/graphics.mli
+++ b/otherlibs/graph/graphics.mli
@@ -19,7 +19,7 @@ exception Graphic_failure of string
 (** Raised by the functions below when they encounter an error. *)
 
 
-(** {2 Initializations} *)
+(** {6 Initializations} *)
 
 val open_graph : string -> unit
 (** Show the graphics window or switch the screen to graphic mode.
@@ -47,7 +47,7 @@ external size_y : unit -> int = "gr_size_y"
    Drawings outside of this rectangle are clipped, without causing
    an error. The origin (0,0) is at the lower left corner. *)
 
-(** {2 Colors} *)
+(** {6 Colors} *)
 
 type color = int
 (** A color is specified by its R, G, B components. Each component
@@ -75,7 +75,7 @@ val foreground : color
    The initial drawing color is [foreground]. *)
 
 
-(** {3 Some predefined colors} *)
+(** {7 Some predefined colors} *)
 
 val black : color
 val white : color
@@ -87,7 +87,7 @@ val cyan : color
 val magenta : color
 
 
-(** {2 Point and line drawing} *)
+(** {6 Point and line drawing} *)
 
 external plot : int -> int -> unit = "gr_plot"
 (** Plot the given point with the current drawing color. *)
@@ -175,7 +175,7 @@ external set_line_width : int -> unit = "gr_set_line_width"
    and a faster, but less precise drawing algorithm than the one
    used when [set_line_width 1] is specified. *)
 
-(** {2 Text drawing} *)
+(** {6 Text drawing} *)
 
 external draw_char : char -> unit = "gr_draw_char"
 (** See {!Graphics.draw_string}.*)
@@ -200,7 +200,7 @@ external text_size : string -> int * int = "gr_text_size"
    the current font and size. *)
 
 
-(** {2 Filling} *)
+(** {6 Filling} *)
 
 external fill_rect : int -> int -> int -> int -> unit = "gr_fill_rect"
 (** [fill_rect x y w h] fills the rectangle with lower left corner
@@ -225,7 +225,7 @@ val fill_circle : int -> int -> int -> unit
    parameters are the same as for {!Graphics.draw_circle}. *)
 
 
-(** {2 Images} *)
+(** {6 Images} *)
 
 type image
 (** The abstract type for images, in internal representation.
@@ -269,7 +269,7 @@ external blit_image : image -> int -> int -> unit = "gr_blit_image"
    [img] are left unchanged. *)
 
 
-(** {2 Mouse and keyboard events} *)
+(** {6 Mouse and keyboard events} *)
 
 type status =
   { mouse_x : int;              (** X coordinate of the mouse *)
@@ -300,7 +300,7 @@ external wait_next_event : event list -> status = "gr_wait_event"
    are queued, and dequeued one by one when the [Key_pressed]
    event is specified. *)
 
-(** {2 Mouse and keyboard polling} *)
+(** {6 Mouse and keyboard polling} *)
 
 val mouse_pos : unit -> int * int
 (** Return the position of the mouse cursor, relative to the
@@ -320,13 +320,13 @@ val key_pressed : unit -> bool
    would not block. *)
 
 
-(** {2 Sound} *)
+(** {6 Sound} *)
 
 external sound : int -> int -> unit = "gr_sound"
 (** [sound freq dur] plays a sound at frequency [freq] (in hertz)
    for a duration [dur] (in milliseconds). *)
 
-(** {2 Double buffering} *)
+(** {6 Double buffering} *)
 
 val auto_synchronize : bool -> unit
 (** By default, drawing takes place both on the window displayed
diff --git a/otherlibs/systhreads/thread.mli b/otherlibs/systhreads/thread.mli
index 665bfddef..fbc3d6a8c 100644
--- a/otherlibs/systhreads/thread.mli
+++ b/otherlibs/systhreads/thread.mli
@@ -18,7 +18,7 @@
 type t
 (** The type of thread handles. *)
 
-(** {2 Thread creation and termination} *)
+(** {6 Thread creation and termination} *)
 
 val create : ('a -> 'b) -> 'a -> t
 (** [Thread.create funct arg] creates a new thread of control,
@@ -47,7 +47,7 @@ val exit : unit -> unit
 val kill : t -> unit
 (** Terminate prematurely the thread whose handle is given. *)
 
-(** {2 Suspending threads} *)
+(** {6 Suspending threads} *)
 
 val delay: float -> unit
 (** [delay d] suspends the execution of the calling thread for
diff --git a/otherlibs/systhreads/threadUnix.mli b/otherlibs/systhreads/threadUnix.mli
index 17ef6889c..4db8d348a 100644
--- a/otherlibs/systhreads/threadUnix.mli
+++ b/otherlibs/systhreads/threadUnix.mli
@@ -21,7 +21,7 @@
    See the documentation of the {!Unix} module for more
    precise descriptions of the functions below. *)
 
-(** {2 Process handling} *)
+(** {6 Process handling} *)
 
 val execv : string -> string array -> unit
 val execve : string -> string array -> string array -> unit
@@ -30,12 +30,12 @@ val wait : unit -> int * Unix.process_status
 val waitpid : Unix.wait_flag list -> int -> int * Unix.process_status
 val system : string -> Unix.process_status
 
-(** {2 Basic input/output} *)
+(** {6 Basic input/output} *)
 
 val read : Unix.file_descr -> string -> int -> int -> int
 val write : Unix.file_descr -> string -> int -> int -> int
 
-(** {2 Input/output with timeout} *)
+(** {6 Input/output with timeout} *)
 
 val timed_read :
       Unix.file_descr ->
@@ -48,25 +48,25 @@ val timed_write :
          available for reading or ready for writing after [d] seconds.
          The delay [d] is given in the fifth argument, in seconds. *)
 
-(** {2 Polling} *)
+(** {6 Polling} *)
 
 val select :
   Unix.file_descr list -> Unix.file_descr list ->
   Unix.file_descr list -> float ->
         Unix.file_descr list * Unix.file_descr list * Unix.file_descr list
 
-(** {2 Pipes and redirections} *)
+(** {6 Pipes and redirections} *)
 
 val pipe : unit -> Unix.file_descr * Unix.file_descr
 val open_process_in: string -> in_channel
 val open_process_out: string -> out_channel
 val open_process: string -> in_channel * out_channel
 
-(** {2 Time} *)
+(** {6 Time} *)
 
 val sleep : int -> unit
 
-(** {2 Sockets} *)
+(** {6 Sockets} *)
 
 val socket : Unix.socket_domain ->
              Unix.socket_type -> int -> Unix.file_descr