[PATCH] Documentation: describe git extended diff headers.

diff --git a/rpull.c b/rpull.c
index f4ab89836455a40aaab3ff4114396185f6d5655a..a332fba23b0eb535ffacbdd68da80e1eebb62824 100644 (file)
--- a/rpull.c
+++ b/rpull.c
@@ -52,6 +52,8 @@ int main(int argc, char **argv)
                        get_history = 1;
                } else if (argv[arg][1] == 'd') {
                        get_delta = 0;
+               } else if (!strcmp(argv[arg], "--recover")) {
+                       get_delta = 2;
                } else if (argv[arg][1] == 'a') {
                        get_all = 1;
                        get_tree = 1;
@@ -62,7 +64,7 @@ int main(int argc, char **argv)
                arg++;
        }
        if (argc < arg + 2) {
-               usage("git-rpull [-c] [-t] [-a] [-v] [-d] commit-id url");
+               usage("git-rpull [-c] [-t] [-a] [-v] [-d] [--recover] commit-id url");
                return 1;
        }
        commit_id = argv[arg];