diff -r ee9e63c437c4 -r 8c44c5919691 docs/src/header.html
--- 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>