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

Merge branch 'fix-70' into v2.1

parents ea005235 cc4abb58
No related branches found
No related tags found
No related merge requests found
...@@ -27,6 +27,22 @@ LIST=" ...@@ -27,6 +27,22 @@ LIST="
# echo "LAYOUT_FILE=PlumedLayout.xml" # echo "LAYOUT_FILE=PlumedLayout.xml"
} | doxygen - } | 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>")){
print " <li><a href=\"_syntax.html\"><span>Getting&#160;started</span></a></li>"
print " <li><a href=\"tutorials.html\"><span>Tutorials</span></a></li>"
print " <li><a href=\"glossary.html\"><span>Index&#160;of&#160;Actions</span></a></li>"
} else print
}' $file > $file.tmp
mv $file.tmp $file
done
cd latex cd latex
# this is a workaround for a problem on the linux workstation # this is a workaround for a problem on the linux workstation
......
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