David Kastrup <dak@gnu.org> writes:

quoted text
> Linus Torvalds <torvalds@linux-foundation.org> writes:
>
>> 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
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html