commit | a88d681255b8f4d5883e9ad245f00dae15c5c473 | [log] [tgz] |
---|---|---|
author | Fred Drake <fdrake@acm.org> | Wed Apr 15 14:53:28 1998 +0000 |
committer | Fred Drake <fdrake@acm.org> | Wed Apr 15 14:53:28 1998 +0000 |
tree | 83955dbe8db5c1b987fc4d21e99bd956067bef83 | |
parent | d671e8fb87ba319527ce86bcfb02a0fac0155d9b [diff] |
Change the form of the name given to each page of the PDF from "page.%d" to "page.%dx"; this works around an acroread bug that causes targets not to be recognized if their name is a prefix of another target in the file.