It's a standard TeX file built using the GNU texinfo macros, it can be converted to a PDF using TeX or a HTML, docbook, or GNU info page using `makeinfo`