diff options
author | John Whitington <john@coherentgraphics.co.uk> | 2021-01-11 15:36:07 +0000 |
---|---|---|
committer | John Whitington <john@coherentgraphics.co.uk> | 2021-01-11 15:36:07 +0000 |
commit | 2fa4145f9da4dbe142adfbbdfd9f7b78173138ca (patch) | |
tree | 53614156b466b8bc5bcc22d9d1b7a6cc48d9a81b /ocamldoc/odoc_args.ml | |
parent | 15be1e8e9589da978477132feeb8434e523b11f3 (diff) | |
download | ocaml-2fa4145f9da4dbe142adfbbdfd9f7b78173138ca.tar.gz |
Adds -nonavbar option to ocamldoc, uses it
Diffstat (limited to 'ocamldoc/odoc_args.ml')
-rw-r--r-- | ocamldoc/odoc_args.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ocamldoc/odoc_args.ml b/ocamldoc/odoc_args.ml index 8a7c215987..6c31b4ec11 100644 --- a/ocamldoc/odoc_args.ml +++ b/ocamldoc/odoc_args.ml @@ -281,7 +281,8 @@ let default_options = Options.list @ "-index-only", Arg.Set Odoc_html.index_only, M.index_only ; "-colorize-code", Arg.Set Odoc_html.colorize_code, M.colorize_code ; "-short-functors", Arg.Set Odoc_html.html_short_functors, M.html_short_functors ; - "-charset", Arg.Set_string Odoc_html.charset, (M.charset !Odoc_html.charset)^ + "-charset", Arg.Set_string Odoc_html.charset, (M.charset !Odoc_html.charset) ; + "-nonavbar", Arg.Clear Odoc_html.show_navbar, M.no_navbar ^ "\n\n *** LaTeX options ***\n"; (* latex only options *) |