diff -r 36333e8a9411 -r 9505224d2fd2 docs/src/Makefile
--- a/docs/src/Makefile	Sun Jun 03 12:02:31 2018 +0200
+++ b/docs/src/Makefile	Sun Jun 03 12:03:04 2018 +0200
@@ -38,6 +38,8 @@
 SRC += remove.md
 SRC += copy.md
 SRC += move.md
+SRC += export.md
+SRC += import.md
 SRC += get-property.md
 SRC += set-property.md
 SRC += remove-property.md
@@ -48,6 +50,7 @@
 SRC += configuration.md
 SRC += encryption.md
 SRC += add-repository.md
+SRC += remove-repository.md
 SRC += list-repositories.md
 SRC += check-config.md
 SRC += introduction.md
@@ -59,6 +62,10 @@
 SRC += delete-conflicts.md
 SRC += trash-info.md
 SRC += empty-trash.md
+SRC += add-tag.md
+SRC += remove-tag.md
+SRC += set-tags.md
+SRC += list-tags.md
 SRC += add-directory.md
 SRC += list-directories.md
 SRC += sync-check-config.md