Joachim Wuttke authored Nov 15, 2018 and Brad King committed Nov 26, 2018

Print the name of the **cmake** executable in boldface, so that it does
not appear less prominent than other shell commands (which are underlaid
with links).  Similarly the other tool manuals.