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

Jump to bottom

missing keyword in index #7387

Closed
vicuna opened this issue Oct 17, 2016 · 4 comments
Closed

missing keyword in index #7387

vicuna opened this issue Oct 17, 2016 · 4 comments
Assignees
@damiendoligez
Labels
bug documentation high-priority
Milestone
4.04.0

Comments

@vicuna
Copy link

vicuna commented Oct 17, 2016

Original bug ID: 7387
Reporter: fbalestrieri
Assigned to: @damiendoligez
Status: closed (set by @damiendoligez on 2016-11-02T14:17:22Z)
Resolution: fixed
Priority: high
Severity: minor
Version: 4.03.0
Target version: 4.04.0 +dev / +beta1 / +beta2
Fixed in version: 4.04.0 +dev / +beta1 / +beta2
Category: documentation
Tags: github
Monitored by: @gasche

Bug description

The keyword "nonrec" is missing from the index of keywords.

Steps to reproduce

search for "nonrec" at:
http://caml.inria.fr/pub/docs/manual-ocaml/manual045.html
@vicuna
Copy link
Author

vicuna commented Oct 17, 2016

Comment author: @gasche

Would you provide a pull request to fix this? The manual is now included in the main compiler source repository, and the relevant file here is

manual/refman/lex.etex

@vicuna
Copy link
Author

vicuna commented Oct 17, 2016

Comment author: @damiendoligez

We need to fix the alphabetical order in lex.etex, and also to add some \ikwd comands to typedecl.etex.

Do we really need to go through the whole pull-request procedure? Probably not.

@vicuna
Copy link
Author

vicuna commented Oct 17, 2016

Comment author: @gasche

doligez: I understand that you volunteer to do the change :-)

@vicuna
Copy link
Author

vicuna commented Oct 27, 2016

Comment author: @damiendoligez

There are a few other problems with the keyword index.

See #874 ( #874 ).

@vicuna vicuna closed this as completed Nov 2, 2016
@vicuna vicuna added this to the 4.04.0 milestone Mar 14, 2019
@vicuna vicuna added the bug label Mar 20, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@damiendoligez damiendoligez

Labels
bug documentation high-priority
Projects
None yet
Milestone
4.04.0
Development

No branches or pull requests
2 participants
@damiendoligez @vicuna