diff -r b50ade8e7197 -r 1607450065ba docs/html/check-repositories.html
--- a/docs/html/check-repositories.html	Sun Jun 24 11:51:07 2018 +0200
+++ b/docs/html/check-repositories.html	Sun Jun 24 12:18:12 2018 +0200
@@ -26,6 +26,8 @@
 						<li><a href="remove.html">remove</a></li>
 						<li><a href="copy.html">copy</a></li>
 						<li><a href="move.html">move</a></li>
+						<li><a href="export.html">export</a></li>
+						<li><a href="import.html">import</a></li>
 						<li><a href="get-property.html">get-property</a></li>
 						<li><a href="set-property.html">set-property</a></li>
 						<li><a href="remove-property.html">remove-property</a></li>
@@ -34,6 +36,7 @@
 						<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="remove-repository.html">remove-repository</a></li>
 						<li><a href="list-repositories.html">list-repositories</a></li>
 						<li><a href="check-config.html">check-config</a></li>
 					</ul>
@@ -54,6 +57,10 @@
 						<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-tag.html">add-tag</a></li>
+						<li><a href="remove-tag.html">remove-tag</a></li>
+						<li><a href="set-tags.html">set-tags</a></li>
+						<li><a href="list-tags.html">list-tags</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>