Anonymous
-
2018-02-25
- Type: Enhancement --> Documentation
On Sat, 17 Feb 2018 10:26:05 +0000, Peter Toye
The indexes in the PDF versions of the learning and notation manuals (and maybe others) do not have the alphabetical "jump to" headers, which makes scrolling a pain. They're in the HTML versions, so I can only assume this is a bug in the translation from the info format.
Best regards,
Peter