Doxygen version selector

- Enhance doxygen template with version selector. - Run update_versions.sh when publishing new docs. Relates to PR#27
4 years ago · f69e2d48f5
parent 9d88671ddc
commit f69e2d48f5
2 changed files with 10 additions and 3 deletions
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@ -118,8 +118,10 @@ jobs:
        run: |
          rm -rf main
          mkdir main
-          cd main
+          pushd main
          tar -xvjf /tmp/doc.tbz2
+          popd
+          ./update_versions.sh
          git config user.name github-actions
          git config user.email github-actions@github.com
          git add .
@ -134,8 +136,10 @@ jobs:
          mkdir -p ${RELEASE}
          rm -f latest
          ln -s ${RELEASE} latest
-          cd ${RELEASE}
+          pushd ${RELEASE}
          tar -xvjf /tmp/doc.tbz2
+          popd
+          ./update_versions.sh
          git config user.name github-actions
          git config user.email github-actions@github.com
          git add . ../latest
--- a/Doxygen/templates/header.html
+++ b/Doxygen/templates/header.html
@ -14,6 +14,8 @@
 $treeview
 $search
 $mathjax
+<link href="../version.css" rel="stylesheet" type="text/css" />
+<script type="text/javascript" src="../version.js"></script>
 </head>
 <body>
 <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
@ -28,9 +30,10 @@ $mathjax
  <!--BEGIN PROJECT_NAME-->
  <td style="padding-left: 0.5em;">
   <div id="projectname">$projectname
-   <!--BEGIN PROJECT_NUMBER-->&#160;<span id="projectnumber"><script type="text/javascript">
+   <!--BEGIN PROJECT_NUMBER-->&#160;<span id="projectnumber" class=""><script type="text/javascript">
     <!--
     writeHeader.call(this);
+     writeVersionDropdown(this);
     //-->
    </script> 
   </span><!--END PROJECT_NUMBER-->