On 6/30/21 12:14 PM, Richard Earnshaw wrote:


On 30/06/2021 05:47, Martin Liška wrote:
On 6/29/21 12:50 PM, Richard Earnshaw wrote:


On 29/06/2021 11:09, Martin Liška wrote:
On 6/28/21 5:33 PM, Joseph Myers wrote:
Are formatted manuals (HTML, PDF, man, info) corresponding to this patch
version also available for review?

I've just uploaded them here:
https://splichal.eu/gccsphinx-final/

Martin


In the HTML version of the gcc manual the sidebar has an "Option index" link but no link 
to the general index.  When you follow that link the page contents is just a link to the 
"index" where everything is all lumped together.

If we can't have separate indexes for options and general entries, I think it 
would make more sense for the Option index link to be removed entirely.

Fully agree with you. Thanks for the feedback and I've changed that to the 
standard Sphinx section,
see e.g. https://splichal.eu/gccsphinx-final/html/gcc/indices-and-tables.html

Martin


R.



Thanks.  Given that the manual is nominally in American English, it might be better to use the term 
"indexes" rather than "indices".

Sure, fixed (while preserving the filename, we have multi copies of it).

Martin


https://grammarist.com/usage/indexes-indices/

R.

Reply via email to