diff options
| author | Joachim Wuttke (l) <j.wuttke@fz-juelich.de> | 2018-11-15 09:49:42 (GMT) |
|---|---|---|
| committer | Brad King <brad.king@kitware.com> | 2018-11-26 15:17:44 (GMT) |
| commit | f9c3f7b16479f84cde3b0249f83e53a32960dff3 (patch) | |
| tree | c7cfb5c94890d15973d457f43cdd319d99941649 /Help/manual/cmake-gui.1.rst | |
| parent | 3804122ab2793b9d54aa8c69df62ed86f526d50f (diff) | |
| download | CMake-f9c3f7b16479f84cde3b0249f83e53a32960dff3.zip CMake-f9c3f7b16479f84cde3b0249f83e53a32960dff3.tar.gz CMake-f9c3f7b16479f84cde3b0249f83e53a32960dff3.tar.bz2 | |
Help: Emphasize tool names in their manuals
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.
Diffstat (limited to 'Help/manual/cmake-gui.1.rst')
| -rw-r--r-- | Help/manual/cmake-gui.1.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Help/manual/cmake-gui.1.rst b/Help/manual/cmake-gui.1.rst index 57a9850..9322e33 100644 --- a/Help/manual/cmake-gui.1.rst +++ b/Help/manual/cmake-gui.1.rst @@ -14,7 +14,7 @@ Synopsis Description =========== -The "cmake-gui" executable is the CMake GUI. Project configuration +The **cmake-gui** executable is the CMake GUI. Project configuration settings may be specified interactively. Brief instructions are provided at the bottom of the window when the program is running. |