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.