diff -r b321a3be0a38 -r c743721d566f docs/src/Makefile
--- a/docs/src/Makefile	Thu Aug 03 14:32:36 2017 +0200
+++ b/docs/src/Makefile	Thu Aug 03 18:29:00 2017 +0200
@@ -49,6 +49,20 @@
 SRC += add-repository.md
 SRC += list-repositories.md
 SRC += check-config.md
+SRC += introduction.md
+SRC += sync-commands.md
+SRC += pull.md
+SRC += push.md
+SRC += resolve-conflicts.md
+SRC += delete-conflicts.md
+SRC += trash-info.md
+SRC += empty-trash.md
+SRC += add-directory.md
+SRC += list-directories.md
+SRC += sync-check-config.md
+SRC += check-repositories.md
+SRC += sync-configuration.md
+
 
 HTML = $(SRC:%.md=build/%.html)