From a21eb4c27971a0c6cd7df99021dff37b1bf0ae64 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Fri, 10 Oct 2014 18:43:16 +0200
Subject: [PATCH] Added version number to manual "Home" button

Fixes #70
---
 user-doc/go-doxygen | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/user-doc/go-doxygen b/user-doc/go-doxygen
index eee0f09e0..b4dd3aa93 100755
--- a/user-doc/go-doxygen
+++ b/user-doc/go-doxygen
@@ -27,6 +27,19 @@ LIST="
   # echo "LAYOUT_FILE=PlumedLayout.xml"
 } | doxygen -
 
+for file in html/*.html
+do
+awk -v version=$(plumed info --version) '{
+  if(match($0,"<span>Main&#160;Page</span>")){
+    sub("Main","Home",$0);
+    sub("Page","(v"version")",$0);
+    print
+  } else if(match($0,"<span>Related&#160;Pages</span>")){
+  } else print
+}' $file > $file.tmp
+mv $file.tmp $file
+done
+
 cd latex
 
 # this is a workaround for a problem on the linux workstation
-- 
GitLab