[petsc-dev] Documentation comment support

[Barry Smith]

On Dec 23, 2012, at 9:07 PM, Matthew Knepley <knepley at gmail.com> wrote:

> On Sun, Dec 23, 2012 at 10:02 PM, Jed Brown <jedbrown at mcs.anl.gov> wrote:
> 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.
> 
> I do not want to give up on namedest yet. There are some suggestions here:
> 
> http://sbml.org/Forums/index.php?t=tree&goto=7873&rid=0
> 
> 1) The guys says to try the Acrobat plugin for Firefox
> 
> 2) He says you need the hyperref option "destlabel=true".

  Sadly I've read lots of "misinformation" on this topic over the years in trying to have links into the manual and it seems browsers regularly gain and lose the ability to handle these features.

   Barry


> 
>    Matt
> 
> -- 
> What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.
> -- Norbert Wiener