diff --git a/Makefile b/Makefile
index 1334c2a..704d448 100644
--- a/Makefile
+++ b/Makefile
@@ -19,6 +19,7 @@ all: $(objects)
 $(output)/%.html: $(source)/%.v
 	coqc $<
 	coqdoc --html --no-index -d ./html/ $<
+	scp $@ baruchel@sdf.org:public_html/coqbooks/
 
 .PHONY : clean