diff -r 8ca795c1ae1c -r 60edf3d679fd docs/src/Makefile
--- a/docs/src/Makefile	Fri Dec 06 09:24:45 2019 +0100
+++ b/docs/src/Makefile	Fri Dec 06 09:47:19 2019 +0100
@@ -40,6 +40,7 @@
 SRC += remove.md
 SRC += copy.md
 SRC += move.md
+SRC += rename.md
 SRC += export.md
 SRC += import.md
 SRC += get-property.md
@@ -49,17 +50,28 @@
 SRC += unlock.md
 SRC += info.md
 SRC += date.md
+SRC += versioncontrol.md
+SRC += list-versions.md
+SRC += checkout.md
+SRC += checkin.md
+SRC += uncheckout.md
 SRC += configuration.md
 SRC += encryption.md
 SRC += add-repository.md
 SRC += remove-repository.md
 SRC += list-repositories.md
+SRC += repository-url.md
+SRC += add-user.md
+SRC += remove-user.md
+SRC += edit-user.md
+SRC += list-users.md
 SRC += check-config.md
 SRC += introduction.md
 SRC += sync-commands.md
 SRC += pull.md
 SRC += push.md
 SRC += archive.md
+SRC += restore.md
 SRC += list-conflicts.md
 SRC += resolve-conflicts.md
 SRC += delete-conflicts.md