diff -r def0359fb48f -r daea53362170 docs/src/Makefile
--- a/docs/src/Makefile	Thu Jun 28 19:22:22 2018 +0200
+++ b/docs/src/Makefile	Thu Jun 28 20:11:53 2018 +0200
@@ -28,6 +28,7 @@
 
 PANDOC=pandoc
 PFLAGS = -c davdoc.css -B header.html -A footer.html
+PFLAGSMAN=-s -t man
 
 SRC = getting-started.md
 SRC += commands.md
@@ -72,15 +73,22 @@
 SRC += check-repositories.md
 SRC += sync-configuration.md
 
+SRCMAN  = dav.1.md
+SRCMAN += dav-sync.1.md
 
 HTML = $(SRC:%.md=build/%.html)
+MAN  = $(SRCMAN:%.md=build/%.man)
+
+DISTHTML = ../html
+DISTMAN  = ../man
 
 FILES = build/davdoc.css build/index.html
 
-all: doc
+all: doc manual
 
 doc: build $(HTML) $(FILES)
-
+	
+manual: build $(MAN)
 
 build:
 	mkdir -p build
@@ -88,14 +96,21 @@
 build/%.html: %.md
 	$(PANDOC) $(PFLAGS) $< -o $@
 
+build/%.man: %.md
+	$(PANDOC) $(PFLAGSMAN) $< -o $@
+
 build/davdoc.css:
 	cp davdoc.css build
 
 build/index.html:
 	cp index.html build
 
-dist: doc
-	rm -Rf ../html; cp -R build ../html
+dist: doc manual
+	rm -Rf $(DISTHTML) $(DISTMAN)
+	mkdir -p $(DISTHTML) $(DISTMAN)
+	cp build/*.html $(DISTHTML)/
+	cp build/*.css $(DISTHTML)/
+	cp build/*.man $(DISTMAN)/
 
 clean: 
 	rm -Rf build