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