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

Merge pull request #282 from aantron/odoc-highest-up-links 

Fix "Up" links to top-level index
This commit is contained in:
Rudi Grinberg 2017-10-11 21:22:17 -04:00 committed by GitHub
parent ef517a8f3b 9e3b64af86
commit 00b62c4d5a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
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="..">Up</a></nav>%}|} in
let header = {|{%html:<nav><a href="../index.html">Up</a></nav>%}|} in
SC.add_rule sctx
(Build.if_file_exists source_index_mld
~then_:(Build.contents source_index_mld