texi_xml

Name

texi_xml -- make Texinfo files from Texi-XML

Synopsis

texi_xml [xml-document]

Description

texi_xml converts a Texi-XML document into one or more Texinfo documents.

If xml-document is not given, then the document to convert is read from standard input.

The filenames of the output Texinfo documents is determined by markup in the Texi-XML source; if they are not specified there, then texi_xml attempts to deduce it from the name of the input file. This does not work correctly if there are multiple output files or if the Texi-XML source is standard input.

The Texinfo files output by texi_xml is currently in the UTF-8 encoding. GNU recode can be used to change the encoding of these files and/or convert certain diacritic characters to Texinfo @-commands that represent them. For best operation, GNU recode should have the utf8..texi patch applied.

Bugs

The Texi-XML document type is currently undocumented.