Re: pdf and certain macro expansion

[Karl Berry]

    Perhaps some scheme of mapping between document foo and its prefix.

Yes, that's what Patrice suggested as well.  The thing is, I can't
really see (m)any individual authors maintaining an auxiliary file of
such mappings for their manuals.

    like gcc from http://gcc.gnu.org/onlinedocs/gcc, versus glibc from
    http://www.gnu.org/manual/glibc-2.2.5/html_node.

www.gnu.org/manual should be complete and usable.  There's no rational
reason for gcc to be somewhere else.  Sigh.  It does seem at least that
the -2.2.5 isn't necessary, there's a symlink `glibc'.

That html_node thing would be a problem.  We'd have to set up something
like http://www.gnu.org/manual/html_node/glibc as a symlink.  I could do
that.

    of the "makeinfo html" node explaining how to sed for `href="foo' to
    reference external sites.  Perhaps break that paragraph out as
    something more visible.  Hmm.

Well, that's certainly the least amount of work :).  It kind of seems to
me that the end result would be a new script to do the munging, though.
Might as well just build it into makeinfo in the first place.

Hmm, indeed.