<div dir="ltr">On Sun, Dec 23, 2012 at 10:02 PM, Jed Brown <span dir="ltr"><<a href="mailto:jedbrown@mcs.anl.gov" target="_blank">jedbrown@mcs.anl.gov</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div class="im"><div class="gmail_extra">On Sun, Dec 23, 2012 at 8:55 PM, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov" target="_blank">bsmith@mcs.anl.gov</a>></span> wrote:<br>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"> What do you mean? Do you mean manual1.ind? Surely you don't mean from manual.pdf?</blockquote>
</div><br></div></div><div class="gmail_extra">
Yeah, we can grab it from manual1.ind and convert it to #page= links in the HTML man pages, which would render like<br><br>SNES<br><br>User's manual pages: 19, 29, 91, 98-105, ...</div><div class="gmail_extra"><br>
</div><div class="gmail_extra">where each number is a #page= link.<br><br>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.</div>
</div>
</blockquote></div><br>I do not want to give up on namedest yet. There are some suggestions here:</div><div class="gmail_extra"><br></div><div class="gmail_extra"><a href="http://sbml.org/Forums/index.php?t=tree&goto=7873&rid=0">http://sbml.org/Forums/index.php?t=tree&goto=7873&rid=0</a></div>
<div class="gmail_extra"><br></div><div class="gmail_extra">1) The guys says to try the Acrobat plugin for Firefox</div><div class="gmail_extra"><br></div><div class="gmail_extra">2) He says you need the hyperref option "destlabel=true".</div>
<div class="gmail_extra"><br></div><div class="gmail_extra"> Matt<br clear="all"><div><br></div>-- <br>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>
-- Norbert Wiener
</div></div>