4 ms·
The PDF is output from Texinfo (the GNU documentation system), which the book was typeset in. The .texi source files are also published. Plus, it is primarily
by LukeShu 9y ago
The PDF is output from Texinfo (the GNU documentation system), which the book was typeset in. The .texi source files are also published.
Plus, it is primarily known as a dead-tree book, not as something published digitially.