diff options
| author | Jonathan Nieder <jrnieder@uchicago.edu> | 2008-07-03 05:36:04 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-07-05 18:24:39 (GMT) |
| commit | 04c2407eafa0361439a60fd6240447f3404d014b (patch) | |
| tree | 0a3cb4cbcfd1f7d5f0cd3f0bc686fac97cace037 /Documentation | |
| parent | 877276d4d3018d2810be990c39fa7f59678e960d (diff) | |
| download | git-04c2407eafa0361439a60fd6240447f3404d014b.zip git-04c2407eafa0361439a60fd6240447f3404d014b.tar.gz git-04c2407eafa0361439a60fd6240447f3404d014b.tar.bz2 | |
manpages: italicize command names in synopses
To tell command names from options in a glance.
Signed-off-by: Jonathan Nieder <jrnieder@uchicago.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/git-reflog.txt | 10 | ||||
| -rw-r--r-- | Documentation/git-remote.txt | 10 |
2 files changed, 10 insertions, 10 deletions
diff --git a/Documentation/git-reflog.txt b/Documentation/git-reflog.txt index d963c51..1710626 100644 --- a/Documentation/git-reflog.txt +++ b/Documentation/git-reflog.txt @@ -16,12 +16,12 @@ The command takes various subcommands, and different options depending on the subcommand: [verse] -git reflog expire [--dry-run] [--stale-fix] [--verbose] +'git reflog expire' [--dry-run] [--stale-fix] [--verbose] [--expire=<time>] [--expire-unreachable=<time>] [--all] <refs>... - -git reflog delete ref@\{specifier\}... - -git reflog [show] [log-options] [<ref>] ++ +'git reflog delete' ref@\{specifier\}... ++ +'git reflog' ['show'] [log-options] [<ref>] Reflog is a mechanism to record when the tip of branches are updated. This command is to manage the information recorded in it. diff --git a/Documentation/git-remote.txt b/Documentation/git-remote.txt index 3634efd..bb99810 100644 --- a/Documentation/git-remote.txt +++ b/Documentation/git-remote.txt @@ -10,11 +10,11 @@ SYNOPSIS -------- [verse] 'git remote' [-v | --verbose] -'git remote' add [-t <branch>] [-m <master>] [-f] [--mirror] <name> <url> -'git remote' rm <name> -'git remote' show [-n] <name> -'git remote' prune [-n | --dry-run] <name> -'git remote' update [group] +'git remote add' [-t <branch>] [-m <master>] [-f] [--mirror] <name> <url> +'git remote rm' <name> +'git remote show' [-n] <name> +'git remote prune' [-n | --dry-run] <name> +'git remote update' [group] DESCRIPTION ----------- |