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
Grammar index broken by #1858 #1917
Comments
The warnings are like this:
which is caused by index entries like this:
which means the \grammarterm access-specifier was defined on page 227 and used on page 227. As you can see, the index keys are already the same. I have no idea how to fix this while keeping the (desired) boldness of defining mentions of \grammarterms. |
One solution would be to switch from |
Editorial meeting consensus: Let's try xindy. |
I can write the xindy script to do this. When a grammar term is both defined and used on the same page, do we want two page locators (one bold and one roman)? Or do we just want one (bold)? |
Just one (in bold) seems preferable. |
@zygoloid Have a look at the grammar terms index with this configuration and see if it resolves the issue. |
I ran into a potential issue that's holding up my work on this PR. I've described it in detail elsewhere. The short version is that xindy complains about a cross-reference that targets a top-level index entry when it doesn't have any page numbers itself (i.e., it only has page numbers for its subentries). I'm still hoping to find a solution to that, but in the meantime we have a couple options:
Thoughts? |
Thank you so much for your work on this! Sorry this got delayed for so long, but I'm still very interested in a solution. Let's revisit this when we've sent the DIS, maybe we can work something out in time for the IS. @zygoloid, @jensmaurer: just a note that we should keep an eye on this. |
The changes from #1858 have caused a large number of index key errors in the grammar index, which show up as warnings in the index log file.
This is bad; we rely on clean logs to spot actual indexing errors. I was very close to adding an index log presubmit check, which would have blocked the application of the pull request.
Can you please fix this? (Perhaps by stripping out the formatting from the index key?)
The text was updated successfully, but these errors were encountered: