Autogenerated HTML docs for v1.3.0-rc2-g6cbd5

diff --git a/git-commit.html b/git-commit.html
index 08d93db..ff315aa 100644 (file)
--- a/git-commit.html
+++ b/git-commit.html
@@ -399,7 +399,8 @@ information.</p>
 <div class="content">\r
 <pre><tt>        $ git reset --soft HEAD^\r
         $ ... do something else to come up with the right tree ...\r
-        $ git commit -c ORIG_HEAD</tt></pre>\r
+        $ git commit -c ORIG_HEAD\r
+</tt></pre>\r
 </div></div>\r
 <p>but can be used to amend a merge commit.</p>\r
 </dd>\r
@@ -506,7 +507,7 @@ Junio C Hamano &lt;junkio@cox.net&gt;</p>
 </div>\r
 <div id="footer">\r
 <div id="footer-text">\r
-Last updated 05-Apr-2006 21:43:17 UTC\r
+Last updated 05-Apr-2006 23:07:59 UTC\r
 </div>\r
 </div>\r
 </body>\r

diff --git a/git-commit.txt b/git-commit.txt
index 2af472a..0a7365b 100644 (file)
--- a/git-commit.txt
+++ b/git-commit.txt
@@ -83,15 +83,16 @@ OPTIONS
        the current tip as parents -- so the current top commit is
        discarded.
 +
+--
 It is a rough equivalent for:
-+
-------------
+------
        $ git reset --soft HEAD^
        $ ... do something else to come up with the right tree ...
        $ git commit -c ORIG_HEAD
-------------
-+
+
+------
 but can be used to amend a merge commit.
+--
 
 -i|--include::
        Instead of committing only the files specified on the