Autogenerated HTML docs for v1.1.5-gadda

diff --git a/git-rev-list.html b/git-rev-list.html
index 4613007..0b361a2 100644 (file)
--- a/git-rev-list.html
+++ b/git-rev-list.html
@@ -278,6 +278,7 @@ git-rev-list(1) Manual Page
              [ --min-age=timestamp ]\r
              [ --sparse ]\r
              [ --no-merges ]\r
+             [ --remove-empty ]\r
              [ --all ]\r
              [ [ --merge-order [ --show-breaks ] ] | [ --topo-order ] ]\r
              [ --parents ]\r
@@ -383,6 +384,14 @@ short-hand for ^&lt;commit1&gt; &lt;commit2&gt;.</p>
 </p>\r
 </dd>\r
 <dt>\r
+--remove-empty\r
+</dt>\r
+<dd>\r
+<p>\r
+        Stop when a given path disappears from the tree.\r
+</p>\r
+</dd>\r
+<dt>\r
 --all\r
 </dt>\r
 <dd>\r
@@ -474,7 +483,7 @@ represent an arbitrary DAG in a linear form.</p>
 </div>\r
 <div id="footer">\r
 <div id="footer-text">\r
-Last updated 06-Jan-2006 17:12:43 PDT\r
+Last updated 28-Jan-2006 00:54:44 PDT\r
 </div>\r
 </div>\r
 </body>\r

diff --git a/git-rev-list.txt b/git-rev-list.txt
index f9146f1..1c6146c 100644 (file)
--- a/git-rev-list.txt
+++ b/git-rev-list.txt
@@ -14,6 +14,7 @@ SYNOPSIS
             [ \--min-age=timestamp ]
             [ \--sparse ]
             [ \--no-merges ]
+            [ \--remove-empty ]
             [ \--all ]
             [ [ \--merge-order [ \--show-breaks ] ] | [ \--topo-order ] ]
             [ \--parents ]
@@ -80,6 +81,9 @@ OPTIONS
        (still subject to count and age limitation), but apply
        merge simplification nevertheless.
 
+--remove-empty::
+       Stop when a given path disappears from the tree.
+
 --all::
        Pretend as if all the refs in `$GIT_DIR/refs/` are
        listed on the command line as <commit>.