Skip to content

GitLab

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

Switch branch/tag
Find file BlameHistoryPermalink
  • 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
cmake-gui.1.rst 846 Bytes