--- 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