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 /api_docgen | |
| parent | 15be1e8e9589da978477132feeb8434e523b11f3 (diff) | |
| download | ocaml-2fa4145f9da4dbe142adfbbdfd9f7b78173138ca.tar.gz | |
Adds -nonavbar option to ocamldoc, uses it
Diffstat (limited to 'api_docgen')
| -rw-r--r-- | api_docgen/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/api_docgen/Makefile b/api_docgen/Makefile index 3ebda76394..a0af5762e5 100644 --- a/api_docgen/Makefile +++ b/api_docgen/Makefile @@ -99,13 +99,13 @@ html/libref/Stdlib.html: $(ALL_LIBREF:%=build/%.odoc) $(MKDIR) -p html/libref $(OCAMLDOC_RUN) -html -d html/libref \ -charset="utf8" \ - -nostdlib -hide Stdlib -lib Stdlib -t "OCaml library" \ + -nonavbar -nostdlib -hide Stdlib -lib Stdlib -t "OCaml library" \ $(addprefix -load , $(ALL_LIBREF:%=build/%.odoc)) html/compilerlibref/Compiler_libs.html: $(ALL_COMPILERLIBREF:%=build/%.odoc) $(MKDIR) -p html/compilerlibref $(OCAMLDOC_RUN) -html -d html/compilerlibref \ - -nostdlib -hide Stdlib -t "OCaml compiler library" \ + -nonavbar -nostdlib -hide Stdlib -t "OCaml compiler library" \ -charset="utf8" \ -intro Compiler_libs.mld \ $(addprefix -load , $(ALL_COMPILERLIBREF:%=build/%.odoc)) |