3 ms·
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`
by deanmen 4y ago
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`