diff --git a/doc/Makefile b/doc/Makefile
index 4632671b7..e9154959a 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -69,6 +69,7 @@ clean:
 
 publish:
 	mkdir -p $(PUBLISHDIR)
+	cd $(PUBLISHDIR)/..; git pull origin master
 	rm -fr $(PUBLISHDIR)/*
 	cp -r $(BUILDDIR)/html/* $(PUBLISHDIR)
 	cp scripts/publish-README.md $(PUBLISHDIR)/../README.md