diff --git a/.travis/pushdoc b/.travis/pushdoc
index 5fce86da3c84b1375024d2b946702148e9f0438f..bb5db67d6df1098870986b724b9395f7f16d1294 100755
--- a/.travis/pushdoc
+++ b/.travis/pushdoc
@@ -45,13 +45,16 @@ cat > README.md << EOF
 Precompiled manual for PLUMED ${TRAVIS_BRANCH}
 -----------------------------
 
-This repository hosts a precompiled manual
-for PLUMED ${TRAVIS_BRANCH}, git revision $hash, on $(date).
+This repository hosts a precompiled manual for [PLUMED](http://www.plumed.org) ${TRAVIS_BRANCH},
+git revision [$hash](https://github.com/plumed/plumed2/commit/$hash).
 
-This manual has been compiled on [travis](http://travis-ci.org/plumed/plumed2).
+This manual has been compiled on [travis](http://travis-ci.org/plumed/plumed2) on $(date).
 
 To browse the manual you should go [here](http://plumed.github.io/doc-${TRAVIS_BRANCH}).
 
+You can also download a full copy of the manual for offline access
+at [this link](http://github.com/plumed/doc-${TRAVIS_BRANCH}/archive/gh-pages.zip).
+
 EOF
 git add --all .
 git commit -m "Update to plumed/plumed2@$hash"