diff -r 8e7ef0675946 -r 02d3e4b1245f docs/src/Makefile
--- a/docs/src/Makefile	Sun Aug 06 17:02:25 2017 +0200
+++ b/docs/src/Makefile	Sun Aug 06 18:18:00 2017 +0200
@@ -66,7 +66,7 @@
 
 HTML = $(SRC:%.md=build/%.html)
 
-FILES = build/davdoc.css
+FILES = build/davdoc.css build/index.html
 
 all: doc
 
@@ -82,6 +82,9 @@
 build/davdoc.css:
 	cp davdoc.css build
 
+build/index.html:
+	cp index.html build
+
 dist: doc
 	rm -Rf ../html; cp -R build ../html