[petsc-dev] Documentation comment support

[Barry Smith]

On Dec 23, 2012, at 8:49 PM, Jed Brown <jedbrown at mcs.anl.gov> wrote:

> On Sun, Dec 23, 2012 at 8:46 PM, Barry Smith <bsmith at mcs.anl.gov> wrote:
>    I didn't see anything obvious. If I just put gibberish instead of nameddest like #sdfsfs=value   it doesn't complain just loads the PDF so I don't know if it is ignoring the nameddest or if pdflatex is not putting the right thing in.
> 
>     Using the #page=number requires a bit more work on our part then nameddest but does allow us to have links to multiple places in the manual.
> 
> Best would be to snarf the index line from the manual.

   What do you mean? Do you mean manual1.ind?  Surely you don't mean from manual.pdf?

   Barry