Files in directory r38/doc/util of check-in 955d0a90a7205ad99fcff119c477ea19ad3fc80726e692d8148660ed9432ae53

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.