DJ Delorie Fri, 20 Aug 2004 07:33:57 -0700
> 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.
