--- a/docs/html/add-tag.html	Wed Apr 10 13:48:44 2019 +0200
+++ b/docs/html/add-tag.html	Wed Apr 10 13:50:24 2019 +0200
@@ -53,6 +53,7 @@
 						<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="list-conflicts.html">list-conflicts</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>