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

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.