Re: [ANNOUNCE] GIT 1.5.3-rc4

David Kastrup [off-list ref] writes:

Linus Torvalds [off-list ref] writes:

quoted

So by advocating Texinfo, you're advocating something that is
OBJECTIVELY WORSE than what we have now.

And I tried to explain why, by pointing out that info files (which
was the case you tried to push as an advantage) aren't actually an
advantage to any normal user.

Linus, your "normal user" does not get any documentation that can
usefully be employed for navigating a large body of documentation.

Anyway, this particular flame feast might be somewhat irrelevant: I
have read up a bit on AsciiDoc and Docbook.

Ok, it turns out that

docbook2x-texi --info --to-stdout usermanual.xml >usermanual.info

cranks out (after a few inexplicable warnings/errors) a completely
functional info file.  The one thing that is conspicously missing is
indexing and info-dir information, and that's because it is not in the
source in the first place.

Whether you want to believe it or not, this already helps me
_considerably_ find my way around git.

So info, at least for the manual, can at the current point of time be
supported by merely adding Makefile targets.

Since an index is useful for other output formats, I don't think that
there should be objections to adding indexing info into the manual.
This takes the AsciiDoc form of ((primary)) for a primary entry
appearing in the text, and (((primary[, secondary[, third]]))) for a
hierarchical entry not appearing in the text itself.

Correct?

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum