diff options
| author | Jonathan Nieder <jrnieder@uchicago.edu> | 2008-07-03 00:49:55 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-07-05 11:24:40 -0700 |
| commit | 42d36bb841eb035eb0f7261f02987893c14e1a02 (patch) | |
| tree | 08fb3a348d090e9465f3d323034754ed728016b2 /Documentation/git-gui.txt | |
| parent | ba020ef5eb5fca3d757bd580ff117adaf81ca079 (diff) | |
| download | git-42d36bb841eb035eb0f7261f02987893c14e1a02.tar.gz | |
manpages: italicize gitk's name (where it was in teletype font)
The name `gitk` is sometimes meant to be entered at the command
prompt, but most uses are just referring to the program with that
name (not the incantation to start it).
Signed-off-by: Jonathan Nieder <jrnieder@uchicago.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-gui.txt')
| -rw-r--r-- | Documentation/git-gui.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-gui.txt b/Documentation/git-gui.txt index f067772baa..a73201d933 100644 --- a/Documentation/git-gui.txt +++ b/Documentation/git-gui.txt @@ -16,9 +16,9 @@ on allowing users to make changes to their repository by making new commits, amending existing ones, creating branches, performing local merges, and fetching/pushing to remote repositories. -Unlike `gitk`, 'git-gui' focuses on commit generation +Unlike 'gitk', 'git-gui' focuses on commit generation and single file annotation and does not show project history. -It does however supply menu actions to start a `gitk` session from +It does however supply menu actions to start a 'gitk' session from within 'git-gui'. 'git-gui' is known to work on all popular UNIX systems, Mac OS X, |