> Wouldn't it be possible to change something in the PDF so that this > worked? We use texi2pdf. If you can figure out how to make that do the right thing, we (or you) can update the Makefile. Our files don't mention page numbers at all.