Files in directory r38/doc/util of check-in ae412d007fa46b93d4881702549166f3bb381477d56bd6193cf2b41e1612e1c1
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.