diff -r 444aa8fe133f -r 2e3a24b9896a docs/src/dav.1.md
--- a/docs/src/dav.1.md	Sun Dec 15 16:22:08 2019 +0100
+++ b/docs/src/dav.1.md	Sun Dec 15 16:54:05 2019 +0100
@@ -1,6 +1,6 @@
-% DAV(1) Version 1.2 | DavUtils User Manuals
+% DAV(1) Version 1.3 | DavUtils User Manuals
 % Olaf Wintermann
-% July 1, 2018
+% December 15, 2019
 
 # NAME
 
@@ -19,7 +19,7 @@
 list [**-altdepcR**] [**-u** *date*] *url*
 :   Lists the files at *url*.
 
-get [**-pcRK**] [**-o** *file*] [**-u** *date*] *url*
+get [**-pcRK**] [**-o** *file*] [**-u** *date*] [**-V** *version*] *url*
 :   Downloads a resource from *url*.
 
 put [**-pcR**] [**-k** *key*] [**-L** *lock*] *url* *file*
@@ -37,6 +37,9 @@
 move [**-pcO**] [**-L** *lock*] *srcurl* *desturl*
 :   Moves a resource or collection from *srcurl* to *desturl*.
 
+rename [**-pcO**] [**-L** *lock*] *srcurl* *name*
+:   Changes the name of a resource or collection at *srcurl* to *name*.
+
 export [**-pc**] [**-o** *file*] [**-u** *date*] *url*
 :   Exports a resource or collection to a **tar(5)** archive. By default the
     data is written to *stdout*, but you may specify a *file* with the **-o**
@@ -83,6 +86,26 @@
     This command is useful, if the server clock and the local clock are not
     in sync.
 
+versioncontrol [**-pc**] *url*
+:   Puts the resource, specified by url, under version control. This is
+    required in order to use other versioning commands with this resource.
+
+list-versions [**-pc**] *url*
+:   Lists all versions of a version-controlled resource.
+
+checkout [**-pc**] *url*
+:   Changes the state of a resource to checked-out to allow modifications
+    to the content and properties.
+
+checkin [**-pc**] *url*
+:   Changes the state of a resource to checked-in. This will create a new
+    version of the resource. In the checked-in state the resource cannot
+	be modified.
+
+uncheckout [**-pc**] *url*
+:   Cancels all modification of the resource and sets the state to checked-in
+    without creating a new version.
+
 # CONFIGURATION COMMANDS
 
 add-repository
@@ -98,6 +121,21 @@
 check-config
 :   Validates the **$HOME/.dav/config.xml** configuration file.
 
+repository-url [**-p**] *repository*
+:   Prints the repository url.
+
+add-user
+:   Adds a user to the secret store.
+
+remove-user
+:   Removes a user from the secret store.
+
+edit-user
+:   Interactive command for modifying users stored in the secret store.
+
+list-users
+:   Lists all users stored in the secret store.
+
 # GENERAL OPTIONS
 
 The following options can be used with all commands.
@@ -165,6 +203,10 @@
 -u *date*
 :   Get resources which are modified since the specified *date*.
 
+-V *version*
+:   downloads a specific version of the resource. Available versions can be
+    listed with the list-versions command
+
 -x
 :   XML property content.