>> For remote PDF links, rather than they are lost, I think that PDF >> destination names are replaced. > > Hmm. This smells fishy. > >> Would you know a tool other than texinfo that can generate remote >> PDF links? > > Sorry, no.
I've noticed that plain pdfTeX (without texinfo) can generate PDF destination names and web browsers can jump to them. If I understand correctly, Ghostscript seems to discard PDF destination names. I've reported to Ghostscript Bugzilla. http://bugs.ghostscript.com/show_bug.cgi?id=696943 _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
