diff --git a/user-doc/go-doxygen b/user-doc/go-doxygen index b4dd3aa93a7469a06c5204c0f384ea4c3b263212..0ff8f86486c5fe5b436bdd903da413eca46615b9 100755 --- a/user-doc/go-doxygen +++ b/user-doc/go-doxygen @@ -35,6 +35,9 @@ awk -v version=$(plumed info --version) '{ sub("Page","(v"version")",$0); print } else if(match($0,"<span>Related Pages</span>")){ + print " <li><a href=\"_syntax.html\"><span>Getting started</span></a></li>" + print " <li><a href=\"tutorials.html\"><span>Tutorials</span></a></li>" + print " <li><a href=\"glossary.html\"><span>Index of Actions</span></a></li>" } else print }' $file > $file.tmp mv $file.tmp $file