Made project version in Doxyfile track content of VERSION file

Author: TimSchneider42

.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

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