summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_config.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_config.ml')
-rw-r--r--ocamldoc/odoc_config.ml6
1 files changed, 4 insertions, 2 deletions
diff --git a/ocamldoc/odoc_config.ml b/ocamldoc/odoc_config.ml
index ced04ae2e..71769534d 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