|
From: | Phillip Lord |
Subject: | Re: On being web-friendly and why info must die |
Date: | Mon, 15 Dec 2014 16:46:04 +0000 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) |
Stefan Monnier <address@hidden> writes: >>> > Can we define a new type of URL to refer to a locally-installed >>> > HTML-Info manual? > > I don't think that's interesting. A more interesting URL is one that > works both as a reference to locally-installed manuals and as > a reference to some remote manual (when not available locally). URLs are also URIs (and IRIs). That is the are identifiers. There is nothing at all to prevent a web browser seeing http://gnu.org/info/emacs/node but resolving to /usr/share/info/emacs/node. In fact most browsers do this, with their web cache. It's just a lazily instantiated locally-installed manual. Phil
[Prev in Thread] | Current Thread | [Next in Thread] |