From 26ffd19f804d9c9fa66e4dc11b3df4f2f34409ce Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Wed, 20 Jul 2016 16:07:00 +0200
Subject: [PATCH] Better comment on README
[makedoc]
---
.travis/pushdoc | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/.travis/pushdoc b/.travis/pushdoc
index 5fce86da3..bb5db67d6 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"
--
GitLab