Autogenerated man pages for v1.1.5-gadda

diff --git a/man1/git-rev-list.1 b/man1/git-rev-list.1
index 6b971f151c06d0354c48b966cb11e769091a30b1..175200a879c21397348210c53a10bf8b3e093d7f 100755 (executable)
--- a/man1/git-rev-list.1
+++ b/man1/git-rev-list.1
@@ -28,6 +28,7 @@ git\-rev\-list [ \-\-max\-count=number ]
              [ \-\-min\-age=timestamp ]
              [ \-\-sparse ]
              [ \-\-no\-merges ]
+             [ \-\-remove\-empty ]
              [ \-\-all ]
              [ [ \-\-merge\-order [ \-\-show\-breaks ] ] | [ \-\-topo\-order ] ]
              [ \-\-parents ]
@@ -82,6 +83,10 @@ Limit the commits output to specified time range\&.
 \-\-sparse
 When optional paths are given, the command outputs only the commits that changes at least one of them, and also ignores merges that do not touch the given paths\&. This flag makes the command output all eligible commits (still subject to count and age limitation), but apply merge simplification nevertheless\&.
 
+.TP
+\-\-remove\-empty
+Stop when a given path disappears from the tree\&.
+
 .TP
 \-\-all
 Pretend as if all the refs in $GIT_DIR/refs/ are listed on the command line as <commit>\&.