diff options
| author | Thomas Rast <trast@student.ethz.ch> | 2010-01-07 19:49:12 +0300 |
|---|---|---|
| committer | Thomas Rast <trast@student.ethz.ch> | 2010-01-10 15:01:25 +0300 |
| commit | ca768288b650a4929bc1d58783a929a9a792e30e (patch) | |
| tree | aeb3937cf3f137cb8aeabeb74b11eb3c0e34bf37 /Documentation/git-submodule.txt | |
| parent | e330d8ca1a9ec38ce40b0f67123b1dd893f0b31c (diff) | |
Documentation: format full commands in typewriter font
Use `code snippet` style instead of 'emphasis' for `git cmd ...`
according to the following rules:
* The SYNOPSIS sections are left untouched.
* If the intent is that the user type the command exactly as given, it
is `code`.
If the user is only loosely referred to a command and/or option, it
remains 'emphasised'.
Signed-off-by: Thomas Rast <trast@student.ethz.ch>
Diffstat (limited to 'Documentation/git-submodule.txt')
| -rw-r--r-- | Documentation/git-submodule.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-submodule.txt b/Documentation/git-submodule.txt index 4ef70c42eb..68f656ce44 100644 --- a/Documentation/git-submodule.txt +++ b/Documentation/git-submodule.txt @@ -114,8 +114,8 @@ init:: The key used in .git/config is `submodule.$name.url`. This command does not alter existing information in .git/config. You can then customize the submodule clone URLs in .git/config - for your local setup and proceed to 'git submodule update'; - you can also just use 'git submodule update --init' without + for your local setup and proceed to `git submodule update`; + you can also just use `git submodule update --init` without the explicit 'init' step if you do not intend to customize any submodule locations. |