When a document is compiled the root document is processed by first by jamal. This creates a TEXI document, which is used as source for many documentation format. The total flow of document creation is the following:
xxx.texi.jam ---> xxx.texi ---> xxx.html
---> xxx.dvi ---> xxx.ps
---> xxx.dvi ---> xxx.pdf
If you look at the available document formats you can see that there are some other formats, but those are just variations of these main formats.
The compilation process is automated using Windows batch files.