summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_opt.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_opt.ml')
-rw-r--r--ocamldoc/odoc_opt.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_opt.ml b/ocamldoc/odoc_opt.ml
index a8be1963e7..8eb7e6fa38 100644
--- a/ocamldoc/odoc_opt.ml
+++ b/ocamldoc/odoc_opt.ml
@@ -19,6 +19,7 @@ open Misc
open Format
open Typedtree
+let _ = Odoc_args.bytecode_mode := false
let html_generator = new Odoc_html.html