summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_config.mli
blob: 59ffc09888a711eca89f2da41dad503d6dd402c0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(***********************************************************************)
(*                                                                     *)
(*                             OCamldoc                                *)
(*                                                                     *)
(*            Maxence Guesdon, projet Cristal, INRIA Rocquencourt      *)
(*                                                                     *)
(*  Copyright 2001 Institut National de Recherche en Informatique et   *)
(*  en Automatique.  All rights reserved.  This file is distributed    *)
(*  under the terms of the Q Public License version 1.0.               *)
(*                                                                     *)
(***********************************************************************)

(** Ocamldoc configuration contants. *)

(** Default path to search for custom generators and to install them. *)
val custom_generators_path : string

(** A flag to indicate whether to print ocamldoc warnings or not. *)
val print_warnings : bool ref