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 the