commit 23ac4089d420855fa6c67c899f72f2bb3c337292
author Ansgar Radermacher <ansgar.radermacher@cea.fr> Tue Aug 01 07:47:45 2017 +0200
committer Ansgar Radermacher <ansgar.radermacher@cea.fr> Tue Aug 01 07:47:45 2017 +0200
tree 482b84d5717c672c5a6491251d97adcfc82af690
parent f99007b830bd9794207f0a632641c1db4d861667

Bug 520351 - [MARTE][release] Create a 1.2.2 release

- Add missing navigation bar to website

Signed-off-by: Ansgar Radermacher <ansgar.radermacher@cea.fr>

src/site/site.xml

diff --git a/src/site/site.xml b/src/site/site.xml
index ea35012..84e1211 100644
--- a/src/site/site.xml
+++ b/src/site/site.xml
@@ -44,7 +44,7 @@
       <toc>top</toc>
       <tocTopMax>6</tocTopMax>
       <!-- Include the documentation and tools in the top navigation (in addition to links) -->
-      <topNav>parent|modules|doc</topNav>
+      <topNav>parent|modules|doc|download</topNav>
       <!-- Split menus in the bottom navigation -->
       <bottomNav maxSpan="9" >
         <column>DevLinks|ref</column>