odoc icon indicating copy to clipboard operation
odoc copied to clipboard

Infer the document title for `mld` files

Open rizo opened this issue 6 years ago • 1 comments

Currently the mld filename is used as a title for the generated HTML document. This is not ideal because the name is an "artefacts of the underlying producing technology" and can be defined with the {0 ...} heading (or the first heading) in the content.

The implementation needs to take into account the fact that multiple mld files can be combined to produce a single document (equivalent of a LaTeX chapter, for example).

Several alternative approaches were discussed in https://github.com/ocaml/odoc/pull/217 for a potential solution.

rizo avatar Oct 17 '18 13:10 rizo

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.

github-actions[bot] avatar May 01 '20 15:05 github-actions[bot]