diff -r 2433b5969d44 -r 12ed560c926c docs/src/header.html
--- a/docs/src/header.html	Tue Oct 03 14:59:35 2017 +0200
+++ b/docs/src/header.html	Tue Oct 03 16:59:39 2017 +0200
@@ -17,6 +17,7 @@
 						<li><a href="move.html">move</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>
 						<li><a href="lock.html">lock</a></li>
 						<li><a href="unlock.html">unlock</a></li>
 						<li><a href="info.html">info</a></li>
@@ -37,6 +38,7 @@
 					<ul>
 						<li><a href="pull.html">pull</a></li>
 						<li><a href="push.html">push</a></li>
+						<li><a href="archive.html">archive</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>