On Sat, Nov 02, 2024 at 11:57:04AM +0000, Gavin Smith wrote: > > > The page numbers in the indices also go to the top of the page, but > > > it is not possible to change this without a lot of work and > > > disruption, as the index files only record the page number. > > > > Now that you mention it: Having this improved would be very valuable, > > too :-) > > I'm afraid this is really not possible at the moment. A single index > entry could even have multiple page numbers for different locations in > the manual. It would require changes to the index files and texindex, > and possibly texi2dvi as well. We are already making a relatively > small change to the index file format in the next release (changing from > \ to @ as the escape character), which change has not been without > difficulties.
I've made the text of index entries link to the page the index entry is for, if there is only one page. Previously, only the page number was linkized. The link is to the top of the page, rather than the exact location on the page, but it may make using the PDF index slightly easier anyway.
