Updates will be applied April 15th at 12pm EDT (UTC-0400). GitLab could be a little slow between 12 - 12:45pm EDT.

  • 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.
cmake-gui.1.rst 846 Bytes