diff options
| author |  Thomas Ackermann <th.acker@arcor.de> | 2013-08-27 20:01:17 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2013-08-27 15:14:44 -0700 |
| commit | d39765b12e1e1ab8e8a798466d942bd94063c39f (patch) | |
| tree | a830008a3d4a427b78891290de3aec5b02676879 | |
| parent | Fix some typos and improve wording (diff) | |
| download | tgif-d39765b12e1e1ab8e8a798466d942bd94063c39f.tar.xz | |
Simplify "How to make a commit"
Combine the two cases for "git add" into one.
Add verb "use" to "git rm" case.
Signed-off-by: Thomas Ackermann <th.acker@arcor.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/user-manual.txt | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 6167cd169e..22bab77199 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -1080,19 +1080,13 @@ produce no output at that point. Modifying the index is easy: -To update the index with the new contents of a modified file, use +To update the index with the contents of a new or modified file, use ------------------------------------------------- $ git add path/to/file ------------------------------------------------- -To add the contents of a new file to the index, use - -------------------------------------------------- -$ git add path/to/file -------------------------------------------------- - -To remove a file from the index and from the working tree, +To remove a file from the index and from the working tree, use ------------------------------------------------- $ git rm path/to/file |