diff --git a/.travis.pushdoc b/.travis.pushdoc
index 447b2baff77a806d2f50a5ce16689046046784ed..7a8e26fc446e39a50407cb031961db4227fdd0f8 100755
--- a/.travis.pushdoc
+++ b/.travis.pushdoc
@@ -44,9 +44,11 @@ cat > README.md << EOF
 Precompiled manual for PLUMED ${TRAVIS_BRANCH}
 -----------------------------
 
-This manual has been compiled on [travis](http://travis-ci.org/plumed/plumed2)
-
-$(date)
+This repository hosts a precompiled manual
+for PLUMED ${TRAVIS_BRANCH}, git revision $hash, $(date).
+This manual has been compiled on [travis](http://travis-ci.org/plumed/plumed2).
+To browse the manual you should go
+[here](http://plumed.github.io/doc-${TRAVIS_BRANCH}).
 
 EOF
 git add --all .