Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

OCaml manual: replace bullets by the section number on the main page #7497

Closed
vicuna opened this issue Mar 2, 2017 · 3 comments

Comments

Projects
None yet
2 participants
@vicuna
Copy link

commented Mar 2, 2017

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.

@vicuna

This comment has been minimized.

Copy link
Author

commented Mar 2, 2017

Comment author: @Octachron

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.

@vicuna

This comment has been minimized.

Copy link
Author

commented Mar 10, 2017

Comment author: @Octachron

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.

@vicuna

This comment has been minimized.

Copy link
Author

commented Mar 18, 2017

Comment author: @Octachron

This should be fixed by merging the above PR starting from the version 4.05 of the manual.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.