diff -r 5577d3eae04c -r fa48ab29abd2 docs/html/empty-trash.html
--- a/docs/html/empty-trash.html	Fri Aug 04 20:03:21 2017 +0200
+++ b/docs/html/empty-trash.html	Sat Aug 05 09:36:03 2017 +0200
@@ -64,7 +64,9 @@
 
 <!-- begin content -->
 <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>
 </div>
 <!-- end content -->
 </body>