From c3b95dd1f4791650b5412dd7c9abfdacb3776e02 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Mon, 2 Feb 2015 10:49:52 +0100
Subject: [PATCH] manual readme file

[makedoc]
---
 .travis.pushdoc | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/.travis.pushdoc b/.travis.pushdoc
index 447b2baff..7a8e26fc4 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 .
-- 
GitLab