diff -r fa48ab29abd2 -r 20a176d5a53e docs/src/Makefile
--- a/docs/src/Makefile	Sat Aug 05 09:36:03 2017 +0200
+++ b/docs/src/Makefile	Sat Aug 05 09:56:51 2017 +0200
@@ -68,7 +68,10 @@
 
 FILES = build/davdoc.css
 
-all: build $(HTML) $(FILES)
+all: doc
+
+doc: build $(HTML) $(FILES)
+
 
 build:
 	mkdir -p build
@@ -79,8 +82,9 @@
 build/davdoc.css:
 	cp davdoc.css build
 
-dist: build
+dist: doc
 	rm -Rf ../html; cp -R build ../html
 
-clean:
+clean: 
 	rm -Rf build
+