diff -r 444aa8fe133f -r 2e3a24b9896a docs/src/header.html
--- a/docs/src/header.html	Sun Dec 15 16:22:08 2019 +0100
+++ b/docs/src/header.html	Sun Dec 15 16:54:05 2019 +0100
@@ -59,6 +59,7 @@
 						<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="list-versions.html">list-versions</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>