<div dir="ltr">He used the manmac.tex macros to typeset the book so you need to look at manmac.tex.<br></div>