Files in directory r38/doc/util of check-in eb17ceb7f6d1988541bda764091c0c13ecf308535b2adc9e12c4d1e9c85cb49f

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.