diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2007-10-08 14:19:34 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2007-10-08 14:19:34 +0000 |
commit | 4167841b165fb2104ccd54664756d2d5dd69f643 (patch) | |
tree | 1b8ce069f147ad2cafb1c2dc0b4e75fbec1826c8 /ocamldoc/odoc_config.ml | |
parent | 773ff5b8837f1fe12f4012b5c68f154a30cbcf8e (diff) | |
download | ocaml-4167841b165fb2104ccd54664756d2d5dd69f643.tar.gz |
fusion de la version 3.10.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_config.ml')
-rw-r--r-- | ocamldoc/odoc_config.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ocamldoc/odoc_config.ml b/ocamldoc/odoc_config.ml index ced04ae2eb..71769534dc 100644 --- a/ocamldoc/odoc_config.ml +++ b/ocamldoc/odoc_config.ml @@ -11,6 +11,8 @@ (* $Id$ *) -let custom_generators_path = - Filename.concat Config.standard_library +let custom_generators_path = + Filename.concat Config.standard_library (Filename.concat "ocamldoc" "custom") + +let print_warnings = ref true |