diff -r 20a176d5a53e -r ccef3f2bfe8e docs/html/check-config.html
--- a/docs/html/check-config.html	Sat Aug 05 09:56:51 2017 +0200
+++ b/docs/html/check-config.html	Sat Aug 05 10:12:12 2017 +0200
@@ -65,7 +65,8 @@
 <!-- begin content -->
 <div class="content">
 <h1 id="dav-check-config">dav check-config</h1>
-<p>Validates the config.xml file. If the config is ok, it prints <code>Configuration OK.</code> on stdout and returns 0, otherwise it prints an error message on stderr and returns 1.</p>
+<p>Validates the config.xml file. If the config is ok, it prints <code>Configuration OK.</code> to stdout and returns 0, otherwise it prints an error message to stderr and returns 1.</p>
+<p><strong>Command alias:</strong> check</p>
 </div>
 <!-- end content -->
 </body>