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