Texinfo specific output should be switchable

Noah Slater — Fri, 18 May 2007 07:35:14 -0000

Currently docbook2x-texi outputs texinfo specific output such as the following:

--- The Detailed Node Listing ---

This may look okay for info pages - but when you convert to html with makeinfo --html it still renders.

Obviously, this is not desired as it:

1) Looks out of place on a web page.
2) Should use EM DASH characters.

There should be a way (other than editing the stylesheets) to turn this behaviour off.

Recent changes to 17: Texinfo specific output should be switchable