update links and release notes

JMMC-OpenDev · Sep 21, 2023 · 8d7e461 · 8d7e461
1 parent 52dc070
commit 8d7e461
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/repo.xml b/repo.xml
@@ -17,6 +17,7 @@
             <h3>Sept 2023</h3>
             <ul>
               <li>Move main jmmc image's url over https</li>
+              <li>Add Oitools in the Help menu and provide better links for OIFits V1-2 rules</li>
             </ul>
         </change>
          <change xmlns="" version="2.13.1">

diff --git a/templates/page.html b/templates/page.html
@@ -41,7 +41,11 @@
                                     <a href="about.html">
                                         <i class="glyphicon glyphicon-info-sign"/> About</a>
                                 </li>
-
+                                <li class="divider"/>
+                                <li>
+                                    <a href="https://jmmc-opendev.github.io/oitools/">
+                                        <i class="glyphicon glyphicon-info-sign"/> OITools doc</a>
+                                </li>
                                 <li class="divider"/>
                                 <li class="dropdown-header">Validation rules</li>
                                 <li>