Re: pdf and certain macro expansion

[Kevin Ryde]

address@hidden (Karl Berry) writes:
>
> 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).

I put an option in the macros to go back to plain xref etc in case
someone was putting together a complete set of manuals locally.

> 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.

There's sort of two cases as I see it.  The gmp web site could
probably have redirects or some trickery, but it'd also be nice if a
user doing makeinfo --html got good links.

> Maybe their local admins should install the emacs manual in html?
> Or are they accessing the gmp pdf/html on your own web site?

Yes, some people seem to like to read it online.  Dunno why they
wouldn't use the info form.

> If so, can you tell me the link so I can see?  I'm still not
> entirely clear what context we're in.

The gmp web page is

        http://www.swox.com/gmp

and the online copy of the manual starts at

        http://www.swox.com/gmp/manual

A node with an external link is

        http://www.swox.com/gmp/manual/Emacs.html

The page there is the current released version, it's only in the
development sources I've been looking to improve the links.

Perhaps I should leave it alone, just advise users to search and
replace "../emacs" (or "emacs.html" if they use --no-split) to a
nearby mirror for anything not available locally.