Files in directory r38/doc/util of check-in 63c16342055a50d195969da5dbfb7831c964d0e0aea123631fa3298e7ad9ef43
Fist run "mkman2" which creates a single file r38.tex Then run "mkpdf" which processes it with latex and turns it into a pdf version of the complete manual.