diff -r 2433b5969d44 -r 12ed560c926c docs/src/Makefile
--- a/docs/src/Makefile	Tue Oct 03 14:59:35 2017 +0200
+++ b/docs/src/Makefile	Tue Oct 03 16:59:39 2017 +0200
@@ -40,6 +40,7 @@
 SRC += move.md
 SRC += get-property.md
 SRC += set-property.md
+SRC += remove-property.md
 SRC += lock.md
 SRC += unlock.md
 SRC += info.md
@@ -53,6 +54,7 @@
 SRC += sync-commands.md
 SRC += pull.md
 SRC += push.md
+SRC += archive.md
 SRC += resolve-conflicts.md
 SRC += delete-conflicts.md
 SRC += trash-info.md