diff -r 36333e8a9411 -r 9505224d2fd2 docs/src/header.html
--- a/docs/src/header.html	Sun Jun 03 12:02:31 2018 +0200
+++ b/docs/src/header.html	Sun Jun 03 12:03:04 2018 +0200
@@ -15,7 +15,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="get-property.html">get-property</a></li>
+						<li><a href="export.html">export</a></li>
+						<li><a href="import.html">import</a></li>
 						<li><a href="set-property.html">set-property</a></li>
 						<li><a href="remove-property.html">remove-property</a></li>
 						<li><a href="lock.html">lock</a></li>
@@ -23,6 +24,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>
@@ -43,6 +45,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>