Re: [ANNOUNCE] GIT 1.5.3-rc4

From: David Kastrup <dak@gnu.org>
Date: Aug 5, 2007, 09:54 UTC
Message-ID: <85abt6b91w.fsf@lola.goethe.zz>
In-Reply-To: <20070805094247.GE12507@coredump.intra.peff.net>

Jeff King <peff@peff.net> writes:

Show 12 quoted lines

> On Sat, Aug 04, 2007 at 07:49:36PM +0200, David Kastrup wrote:
>
>> I can specify something like
>> 
>> (info "(gcc) Extended Asm")
>> 
>> and when you are reading mail in Emacs, you can click on that line
>> and get to the respective page in a manual comprising hundreds of
>> pages.
>
> Ugh. A documentation referencing system that works only in one
> particular editor,

That works in readers of the info format. Do HTML references work outside of HTML readers?

> or with one particular documentation format?
>
> Please, the net decided on a standard for referencing resources long
> ago, and they are called URLs.

The last time I looked, URLs were not a common way to implement bookmarks except in HTML, namely "with one particular documentation format".

And you don't need an HTML reader to use those "resources" in HTML? Get real.

Anyway, the referencing in _Texinfo_ gets translated into info references in info formats, URL bookmarks in HTML, PDF links in PDF and a textual description (since you can't let a URL point into a section of a plain text file) in plain text output. All those are _common_ ways of making references, and certainly "the net" has not decided to pick any of those exclusively.

That the particular format "info" _also_ is able to represent the respective information originally written into _Texinfo_ source is hardly a disadvantage.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum