diff -r 3070d72f54af -r 0e36bb75a732 docs/html/sync-commands.html
--- a/docs/html/sync-commands.html	Sat Aug 05 13:35:27 2017 +0200
+++ b/docs/html/sync-commands.html	Sun Aug 06 14:41:20 2017 +0200
@@ -4,7 +4,7 @@
   <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
   <meta http-equiv="Content-Style-Type" content="text/css" />
   <meta name="generator" content="pandoc" />
-  <title></title>
+  <title>Commands</title>
   <style type="text/css">code{white-space: pre;}</style>
   <link rel="stylesheet" href="davdoc.css" type="text/css" />
 </head>
@@ -64,13 +64,15 @@
 
 <!-- begin content -->
 <div class="content">
-<h1 id="commands">Commands</h1>
+<div id="header">
+<h1 class="title">Commands</h1>
+</div>
 <p>All commands expect a <code>&lt;directory&gt;</code> argument, which is the identifer of a local directory that should be synchronized. The directory must be configured in sync.xml. See <a href="./sync-configuration.html">Configuration</a>.</p>
 <h2 id="common-commands">Common Commands</h2>
 <p>Get resources from the server, which are modified since last sync:</p>
-<pre><code>dav pull &lt;directory&gt;</code></pre>
+<pre><code>dav-sync pull &lt;directory&gt;</code></pre>
 <p>Upload all locally modified resources:</p>
-<pre><code>dav push &lt;directory&gt;</code></pre>
+<pre><code>dav-sync push &lt;directory&gt;</code></pre>
 </div>
 <!-- end content -->
 </body>