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

Merge branch 'v2.1' into v2.2

[makedoc]
parents a5553b67 e654ba5f
No related branches found
No related tags found
No related merge requests found
......@@ -27,9 +27,17 @@ LIST="
# echo "LAYOUT_FILE=PlumedLayout.xml"
} | doxygen -
version=$(plumed --no-mpi info --version)
# in the online manual better to put the branch name
# which is available through the TRAVIS_BRANCH env var
if test "$TRAVIS" == true ; then
version="${TRAVIS_BRANCH}"
fi
for file in html/*.html
do
awk -v version=$(plumed --no-mpi info --version) '{
awk -v version="$version" '{
if(match($0,"<span>Main&#160;Page</span>")){
sub("Main","Home",$0);
sub("Page","(v"version")",$0);
......
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