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.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.1.rst')
| -rw-r--r-- | Help/manual/cmake.1.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Help/manual/cmake.1.rst b/Help/manual/cmake.1.rst index b11526c..d8b71a9 100644 --- a/Help/manual/cmake.1.rst +++ b/Help/manual/cmake.1.rst @@ -19,7 +19,7 @@ Synopsis Description =========== -The "cmake" executable is the CMake command-line interface. It may be +The **cmake** executable is the CMake command-line interface. It may be used to configure projects in scripts. Project configuration settings may be specified on the command line with the -D option. |