You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Note that this problem only exists in the splitted html manual: both the latex version and the one-file html manual have a numbered table of contents. This seems to be a limitation of hacha, hevea's html splitting subtool.
After playing with hevea to replace unordered list by ordered list, I found the hacha-specific macro required to enable numbered table of contents: #1095 .
With this change, tables of contents still use unordered list but they include at least section number.
Original bug ID: 7497
Reporter: @dbuenzli
Assigned to: @Octachron
Status: resolved (set by @Octachron on 2017-03-18T13:01:45Z)
Resolution: fixed
Priority: normal
Severity: feature
Version: 4.04.0
Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Category: documentation
Bug description
This is clearly a usability improvement:
Warning 57: Ambiguous or-pattern variables under guard;
variable s may match different arguments. (See manual section 8.5)
However you then turn to http://caml.inria.fr/pub/docs/manual-ocaml/
and are a bit lost where that section could be.
Thanks.
The text was updated successfully, but these errors were encountered: