diff -r b321a3be0a38 -r c743721d566f docs/html/list-repositories.html
--- a/docs/html/list-repositories.html	Thu Aug 03 14:32:36 2017 +0200
+++ b/docs/html/list-repositories.html	Thu Aug 03 18:29:00 2017 +0200
@@ -43,14 +43,30 @@
 	<div class="nav">
 		<h3>dav-sync</h3>
 			<ul>
-				<li><a href=".">.</a></li>
+				<li><a href="introduction.html">Introduction</a></li>
+				<li><a href="sync-commands.html">Commands</a></li>
+					<ul>
+						<li><a href="pull.html">pull</a></li>
+						<li><a href="push.html">push</a></li>
+						<li><a href="resolve-conflicts.html">resolve-conflicts</a></li>
+						<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-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>
+						<li><a href="check-repositories.html">check-repositories</a></li>
+					</ul>
+				<li><a href="sync-configuration.html">Configuration</a></li>
 			</ul>
 	</div>
 </div>
 
 <!-- begin content -->
 <div class="content">
-
+<h1 id="dav-list-repositories">dav list-repositories</h1>
+<p>This command lists all configured repositories.</p>
+<p><strong>Command alias:</strong> list-repos</p>
 </div>
 <!-- end content -->
 </body>