Org mode manual export

[Thomas S. Dye]

Aloha all,

The Org mode FAQ on Worg correctly reports that the Org mode 
manual is written in Org mode, but it implies that it is exported 
to texinfo using pandoc--"You can export .org files to texinfo 
using Pandoc".

I thought the manual was exported to texinfo with ox-texinfo, but 
I don't know for certain.

Can someone confirm how the Org mode manual is exported to 
texinfo, please?

I'll update the FAQ if necessary.

All the best,
Tom

--
Thomas S. Dye
https://tsdye.online/tsdye