Export as a Texinfo file with ‘.texi’ extension. For ‘myfile.org’, Org exports to ‘myfile.texi’, overwriting without warning.
Export to Texinfo format first and then process it to make an
Info file. To generate other formats, such as DocBook, customize