Am Mittwoch, 30. Dezember 2009 06:55:38 schrieb Patrick McCarty:
> I forgot to mention that with this patch, hyperlinks have a "#"
> appended to them instead of a "#" followed by the node name.  So it's
> still not satisfactory.
> 
> I tried to figure out where the hyperlink names are generated.  I
> assume the procedure does a simple concatenation of the filename, #,
> and the node name (id), but the location of this code has evaded me so
> far.

-) do_external_href in texi2html.pl, which calls
-) external_href in tex2html.init

Cheers,
Reinhold


-- 
------------------------------------------------------------------
Reinhold Kainhofer, reinh...@kainhofer.com, http://reinhold.kainhofer.com/
 * Financial & Actuarial Math., Vienna Univ. of Technology, Austria
 * http://www.fam.tuwien.ac.at/, DVR: 0005886
 * LilyPond, Music typesetting, http://www.lilypond.org


_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to