• Joachim Wuttke's avatar
    Help: Emphasize tool names in their manuals · f9c3f7b1
    Joachim Wuttke authored
    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.
    f9c3f7b1
ccmake.1.rst 885 Bytes