Skip to content
Snippets Groups Projects
Commit 197a95de authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

Merge branch 'v2.1' into v2.2

[makedoc]
parents 1e537324 8658bfa1
No related branches found
No related tags found
No related merge requests found
...@@ -27,7 +27,7 @@ LIST=" ...@@ -27,7 +27,7 @@ LIST="
# echo "LAYOUT_FILE=PlumedLayout.xml" # echo "LAYOUT_FILE=PlumedLayout.xml"
} | doxygen - } | doxygen -
version=$(plumed --no-mpi info --version) version=v$(plumed --no-mpi info --version)
# in the online manual better to put the branch name # in the online manual better to put the branch name
# which is available through the TRAVIS_BRANCH env var # which is available through the TRAVIS_BRANCH env var
...@@ -40,7 +40,7 @@ do ...@@ -40,7 +40,7 @@ do
awk -v version="$version" '{ awk -v version="$version" '{
if(match($0,"<span>Main&#160;Page</span>")){ if(match($0,"<span>Main&#160;Page</span>")){
sub("Main","Home",$0); sub("Main","Home",$0);
sub("Page","(v"version")",$0); sub("Page","("version")",$0);
print print
} else if(match($0,"<span>Related&#160;Pages</span>")){ } else if(match($0,"<span>Related&#160;Pages</span>")){
print " <li><a href=\"_syntax.html\"><span>Getting&#160;started</span></a></li>" print " <li><a href=\"_syntax.html\"><span>Getting&#160;started</span></a></li>"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment