From: Graham Percival <graham@percival-music.ca>
Date: Wed, 7 Apr 2010 09:19:00 +0000 (+0100)
Subject: Doc: CG: clarify "amend previous commit".
X-Git-Tag: release/2.13.18-1~18^2~1^2~2
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=c650e54334b64e0e9fd534ee13742f6c07257637;p=lilypond.git

Doc: CG: clarify "amend previous commit".
---

diff --git a/Documentation/contributor/source-code.itexi b/Documentation/contributor/source-code.itexi
index a59282a9a9..80e4358bd2 100644
--- a/Documentation/contributor/source-code.itexi
+++ b/Documentation/contributor/source-code.itexi
@@ -88,15 +88,19 @@ commit.
 
 You can go back and make changes to the most recent commit with
 the @qq{Amend previous commit} button.  This is useful if a
-mistake is found after you've clicked the @qq{New local commit}
-button.  To amend the most recent commit, edit the source files as
-needed and click the button.  The earlier version of the commit is
-not saved, but is replaced by the new one.
-
-Note that this does not update patch files; if you have a patch
-file from an earlier version of the commit, you will need to make
-another patch set when using this feature.  The old patch file is
-not saved, but is replaced by the new one.
+mistake is found after you have clicked the @qq{New local commit}
+button.
+
+To amend the most recent commit, re-edit the source files as
+needed and then click the @qq{Amend previous commit} button.  The
+earlier version of the commit is not saved, but is replaced by the
+new one.
+
+Note that this does not update the patch @strong{files}; if you
+have a patch file from an earlier version of the commit, you will
+need to make another patch set when using this feature.  The old
+patch file will not be saved, but will be replaced by the new one
+after you click on @qq{Make patch set}.
 
 
 @subsubheading Make patch set