From ce0db75e78774fd73c9c87a9f1a1fca00c6ab942 Mon Sep 17 00:00:00 2001 From: Tim Schneider Date: Sat, 25 May 2024 18:46:22 +0200 Subject: [PATCH] Made project version in Doxyfile track content of VERSION file --- .github/workflows/documentation.yml | 2 +- doc/Doxyfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 5c3e5217..d2248e0b 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -17,7 +17,7 @@ jobs: run: sudo apt-get update && sudo apt-get -y install ${dependency_packages} - name: build - run: cd doc && doxygen ./Doxyfile + run: cd doc && VERSION=$(cat ../VERSION) doxygen ./Doxyfile - name: deploy uses: peaceiris/actions-gh-pages@v3 diff --git a/doc/Doxyfile b/doc/Doxyfile index 13f353d4..8d872241 100644 --- a/doc/Doxyfile +++ b/doc/Doxyfile @@ -38,7 +38,7 @@ PROJECT_NAME = "Franky" # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = 0.2.0 +PROJECT_NUMBER = $(VERSION) # Using the PROJECT_BRIEF tag one can provide an optional one line description # for a project that appears at the top of each page and should give viewer a