Better comment on README

[makedoc]

.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"