Re: pdf and certain macro expansion

[Karl Berry]

    I guess I was hoping to get something where the links would work, we

I agree it's a problem, but I don't know how to fix it.  What would be
ideal is if we could generate html that said "if it's available locally,
use that, else use www.gnu.org" (or even some arbitrary list of sites
with gnu manuals).

However, to do that we'd have to have a cgi script, and that is a whole
new set of problems, either requiring every link to hit gnu.org (yuck)
or them to install it locally -- which obviously won't get us any
farther along.  (Or perhaps it's doable in JavaScript (excuse me,
ECMAScript, sounds like a disease), I'm not sure, but know that that
won't help many users in any case.)

    get complaints every so often about that in the gmp manual.

Maybe their local admins should install the emacs manual in html?
Or are they accessing the gmp pdf/html on your own web site?  If so, can
you tell me the link so I can see?  I'm still not entirely clear what
context we're in.

Thanks,
k