diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 319bffe7..c65e48e1 100644 --- 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 diff --git a/Doxygen/templates/header.html b/Doxygen/templates/header.html index 4b6b24eb..e659aa67 100644 --- a/Doxygen/templates/header.html +++ b/Doxygen/templates/header.html @@ -14,6 +14,8 @@ $treeview $search $mathjax + +
@@ -28,9 +30,10 @@ $mathjax
$projectname -