Merge branch 'v2.9'

plumed · Jun 28, 2023 · bc5d687 · bc5d687 · PlumedBot · Jun 28, 2023
2 parents 39a94c6 + 5c87a3d
commit bc5d687
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/user-doc/go-doxygen b/user-doc/go-doxygen
@@ -123,6 +123,7 @@ cat > html/menudata.js << EOF
 var menudata={children:[
 {text:'Home ($version)',url:'index.html'},
 {text:'Getting Started',url:'_syntax.html'},
+{text:'Performances',url:'_performances.html'},
 {text:'Tutorials',url:'tutorials.html'},
 {text:'Index of Actions',url:'glossary.html'}]}
 EOF