[petsc-dev] Documentation comment support

[Jed Brown]

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>