[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: pdf and certain macro expansion

From: Kevin Ryde
Subject: Re: pdf and certain macro expansion
Date: Tue, 06 May 2003 11:04:00 +1000
User-agent: Gnus/5.090019 (Oort Gnus v0.19) Emacs/21.2 (gnu/linux)

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


and the online copy of the manual starts at


A node with an external link is


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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]