Fix up "make doc"

diff --git a/ssh-pull.c b/ssh-pull.c
index 27484126dd899cd9a6d4a14d2f41a60fc3a36a52..26356dd7d84ea1bc9f7320b18562ed4117d4fac0 100644 (file)
--- a/ssh-pull.c
+++ b/ssh-pull.c
@@ -29,7 +29,7 @@ int fetch(unsigned char *sha1)
        return ret;
 }
 
-int get_version(void)
+static int get_version(void)
 {
        char type = 'v';
        write(fd_out, &type, 1);
@@ -65,10 +65,6 @@ int main(int argc, char **argv)
                        get_tree = 1;
                } else if (argv[arg][1] == 'c') {
                        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;