diff -r ee9e63c437c4 -r 8c44c5919691 docs/src/Makefile
--- a/docs/src/Makefile	Sun Jul 09 20:15:14 2017 +0200
+++ b/docs/src/Makefile	Tue Jul 11 20:45:32 2017 +0200
@@ -46,6 +46,9 @@
 SRC += date.md
 SRC += configuration.md
 SRC += encryption.md
+SRC += add-repository.md
+SRC += list-repositories.md
+SRC += check-config.md
 
 HTML = $(SRC:%.md=build/%.html)