diff -r 755b8198b071 -r c517502d3e38 dav/sync.h
--- a/dav/sync.h	Tue Sep 05 17:25:09 2017 +0200
+++ b/dav/sync.h	Thu Sep 07 18:18:30 2017 +0200
@@ -46,7 +46,7 @@
 void print_usage(char *cmd);
 
 int cmd_pull(CmdArgs *args);
-int cmd_push(CmdArgs *args);
+int cmd_push(CmdArgs *args, DavBool archive);
 
 int sync_get_resource(
         CmdArgs *a,