diff -r 5577d3eae04c -r fa48ab29abd2 docs/src/Makefile
--- a/docs/src/Makefile	Fri Aug 04 20:03:21 2017 +0200
+++ b/docs/src/Makefile	Sat Aug 05 09:36:03 2017 +0200
@@ -79,5 +79,8 @@
 build/davdoc.css:
 	cp davdoc.css build
 
+dist: build
+	rm -Rf ../html; cp -R build ../html
+
 clean:
 	rm -Rf build