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 /Packaging | |
| 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 'Packaging')
0 files changed, 0 insertions, 0 deletions