diff -r b50ade8e7197 -r 1607450065ba docs/html/get.html
--- a/docs/html/get.html	Sun Jun 24 11:51:07 2018 +0200
+++ b/docs/html/get.html	Sun Jun 24 12:18:12 2018 +0200
@@ -26,6 +26,8 @@
 						<li><a href="remove.html">remove</a></li>
 						<li><a href="copy.html">copy</a></li>
 						<li><a href="move.html">move</a></li>
+						<li><a href="export.html">export</a></li>
+						<li><a href="import.html">import</a></li>
 						<li><a href="get-property.html">get-property</a></li>
 						<li><a href="set-property.html">set-property</a></li>
 						<li><a href="remove-property.html">remove-property</a></li>
@@ -34,6 +36,7 @@
 						<li><a href="info.html">info</a></li>
 						<li><a href="date.html">date</a></li>
 						<li><a href="add-repository.html">add-repository</a></li>
+						<li><a href="remove-repository.html">remove-repository</a></li>
 						<li><a href="list-repositories.html">list-repositories</a></li>
 						<li><a href="check-config.html">check-config</a></li>
 					</ul>
@@ -54,6 +57,10 @@
 						<li><a href="delete-conflicts.html">delete-conflicts</a></li>
 						<li><a href="trash-info.html">trash-info</a></li>
 						<li><a href="empty-trash.html">empty-trash</a></li>
+						<li><a href="add-tag.html">add-tag</a></li>
+						<li><a href="remove-tag.html">remove-tag</a></li>
+						<li><a href="set-tags.html">set-tags</a></li>
+						<li><a href="list-tags.html">list-tags</a></li>
 						<li><a href="add-directory.html">add-directory</a></li>
 						<li><a href="list-directories.html">list-directories</a></li>
 						<li><a href="sync-check-config.html">check-config</a></li>
@@ -69,11 +76,12 @@
 <div id="header">
 <h1 class="title">dav get</h1>
 </div>
-<p><strong><code>dav get [-pcR] [-o &lt;file&gt;] [-u &lt;date&gt;] &lt;url&gt;</code></strong></p>
+<p><strong><code>dav get [-pcRK] [-o &lt;file&gt;] [-u &lt;date&gt;] &lt;url&gt;</code></strong></p>
 <p>Downloads a resource. This command also downloads collections and its child resources when the <strong><code>-R</code></strong> option is used. When downloading a single resource, the default local file name is the resource name. When downloading collections, it does <strong>not</strong> create a local directory with the collection's name and places its children in there, but it downloads the children directly to the current working directory.</p>
 <p><strong><code>-p</code></strong> disable file name and content decryption. You get exactly what is stored on the server.</p>
 <p><strong><code>-c</code></strong> enable file name and content decryption</p>
 <p><strong><code>-R</code></strong> download a collection</p>
+<p><strong><code>-K</code></strong> download only files that don't exist locally</p>
 <p><strong><code>-o &lt;file&gt;</code></strong> specify the local output file. A <strong>-</strong> indicates stdout</p>
 <p><strong><code>-u &lt;date&gt;</code></strong> download only files which are modified since the specified date. Uses the HTTP date format</p>
 </div>