From 8658bfa157a0697d7dd74afeb24cb8e369bb72e2 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Thu, 2 Jul 2015 15:40:47 +0200
Subject: [PATCH] typo

[makedoc]
---
 user-doc/go-doxygen | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/user-doc/go-doxygen b/user-doc/go-doxygen
index 42f07d0dd..c58e5c1f6 100755
--- a/user-doc/go-doxygen
+++ b/user-doc/go-doxygen
@@ -27,7 +27,7 @@ LIST="
   # echo "LAYOUT_FILE=PlumedLayout.xml"
 } | doxygen -
 
-version=$(plumed --no-mpi info --version)
+version=v$(plumed --no-mpi info --version)
 
 # in the online manual better to put the branch name
 # which is available through the TRAVIS_BRANCH env var
@@ -40,7 +40,7 @@ do
 awk -v version="$version" '{
   if(match($0,"<span>Main&#160;Page</span>")){
     sub("Main","Home",$0);
-    sub("Page","(v"version")",$0);
+    sub("Page","("version")",$0);
     print
   } else if(match($0,"<span>Related&#160;Pages</span>")){
     print "      <li><a href=\"_syntax.html\"><span>Getting&#160;started</span></a></li>"
-- 
GitLab