matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

odoc: don't generate raw HTML and level 1 headings 

This page generation code really should be moved to odoc, however.
This commit is contained in:
Anton Bachin 2017-12-16 13:57:14 -06:00
parent b7dd41fc6e
commit 0aa6faa145
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/odoc.ml
View File

@ -66,7 +66,7 @@ let lib_index sctx ~odoc ~dir ~(lib : Library.t) ~lib_public_name ~doc_dir ~modu
let context = SC.context sctx in
let generated_index_mld = dir ++ sprintf "%s-generated.mld" lib.name in
let source_index_mld = dir ++ sprintf "%s.mld" lib.name in
let header = {|{%html:<nav><a href="../index.html">Up</a></nav>%}|} in
let header = "{{: ../index.html} Up}" in
SC.add_rule sctx
(Build.if_file_exists source_index_mld
~then_:(Build.contents source_index_mld
@ -75,7 +75,7 @@ let lib_index sctx ~odoc ~dir ~(lib : Library.t) ~lib_public_name ~doc_dir ~modu
(if lib.wrapped then
sprintf
"%s\n\
{1 Library %s}\n\
{2 Library %s}\n\
The entry point for this library is module {!module:%s}."
header
lib_public_name
@ -83,7 +83,7 @@ let lib_index sctx ~odoc ~dir ~(lib : Library.t) ~lib_public_name ~doc_dir ~modu
else
sprintf
"%s\n\
{1 Library %s}\n\
{2 Library %s}\n\
This library exposes the following toplevel modules: {!modules:%s}."
header
lib_public_name