--- a/docs/src/header.html Sun Jul 09 20:15:14 2017 +0200
+++ b/docs/src/header.html Tue Jul 11 20:45:32 2017 +0200
@@ -21,6 +21,9 @@
<li><a href="unlock.html">unlock</a></li>
<li><a href="info.html">info</a></li>
<li><a href="date.html">date</a></li>
+ <li><a href="add-repository.html">add-repository</a></li>
+ <li><a href="list-repositories.html">list-repositories</a></li>
+ <li><a href="check-config.html">check-config</a></li>
</ul>
<li><a href="configuration.html">Configuration</a></li>
<li><a href="encryption.html">Encryption</a></li>
