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/ccmake.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/ccmake.1.rst')
| -rw-r--r-- | Help/manual/ccmake.1.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Help/manual/ccmake.1.rst b/Help/manual/ccmake.1.rst index cc3ceec..9548471 100644 --- a/Help/manual/ccmake.1.rst +++ b/Help/manual/ccmake.1.rst @@ -13,7 +13,7 @@ Synopsis Description =========== -The "ccmake" executable is the CMake curses interface. Project +The **ccmake** executable is the CMake curses interface. Project configuration settings may be specified interactively through this GUI. Brief instructions are provided at the bottom of the terminal when the program is running. |