Re: [PATCH 06/13] Simplify "How to make a commit"
From: Junio C Hamano <hidden>
Date: 2016-06-15 22:58:30
Thomas Ackermann [off-list ref] writes:
quoted hunk
Combine the two cases for "git add" into one. Add verb "use" to "git rm" case. Signed-off-by: Thomas Ackermann <redacted> --- Documentation/user-manual.txt | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-)diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 8a1a441..ca78333 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt@@ -1080,19 +1080,14 @@ 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 add the contents of a new file to the index or update the index +with the new contents of a 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 --------------------------------------------------
OK.
-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