David Kastrup <dak@xxxxxxx> writes: > Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> 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@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
