Re: pdf and certain macro expansion

[Kevin Ryde]

address@hidden (Karl Berry) writes:
>
>   makeinfo --html-xref-prefix=STRING

Perhaps some scheme of mapping between document foo and its prefix.
So for instance different manuals can be taken from different sites,
like gcc from http://gcc.gnu.org/onlinedocs/gcc, versus glibc from
http://www.gnu.org/manual/glibc-2.2.5/html_node.

> This won't help in the case where the actual target html files aren't
> constructed the way makeinfo expects, that is, you couldn't get a link
> to something/node_99.html.  But as I said, I'm not sure we really want
> to encourage that anyway, since it's unmaintainable.

Yes, it's a bit like hard work.  I put in a few hoping the next update
would see them using makeinfo instead of texi2html.

> Wdyt?  Would this help?  At least it should make it possible for
> maintainers to construct html with links that work.  Fitting every
> possible user scenario seems impossible to me.

Yes that'd help maintainers, though they'd be smart enough to munch
with sed to amend the current output.

I wonder if all that's needed is more notes in the manual about how to
integrate a collection of html manuals.  A few more words at the end
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.