diff -r 6d8784bee427 -r ddb5e8f2a43d docs/html/empty-trash.html
--- a/docs/html/empty-trash.html	Sat Aug 05 11:08:34 2017 +0200
+++ b/docs/html/empty-trash.html	Sat Aug 05 11:33:17 2017 +0200
@@ -66,7 +66,7 @@
 <div class="content">
 <h1 id="dav-sync-empty-trash">dav-sync empty-trash</h1>
 <p><strong><code>empty-trash &lt;directory&gt;</code></strong></p>
-<p>Removes all files from the trash directory for a given sync-directory.</p>
+<p>Removes all files from the trash directory of the given sync-directory.</p>
 </div>
 <!-- end content -->
 </body>