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

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.