On Sun, Dec 23, 2012 at 8:55 PM, Barry Smith <bsmith at mcs.anl.gov> wrote:
> What do you mean? Do you mean manual1.ind? Surely you don't mean from > manual.pdf? Yeah, we can grab it from manual1.ind and convert it to #page= links in the HTML man pages, which would render like SNES User's manual pages: 19, 29, 91, 98-105, ... where each number is a #page= link. Even better would be to somehow include the section name, maybe in the hover text, but I don't know a good way to get that information. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20121223/0d95bd6e/attachment.html>
