Use old-fashioned bash for version

Dan-wanna-M · Aug 6, 2024 · f368acf · f368acf
1 parent e3ab93d
commit f368acf
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -29,4 +29,4 @@ jobs:
             ./docs/header_gen.sh
             chmod +x py_filter.sh
             export VERSION="dev"
-            echo $VERSION
+            echo "PROJECT_NUMBER = $VERSION" >> Doxyfile
diff --git a/.github/workflows/python-publish.yml b/.github/workflows/python-publish.yml
@@ -37,7 +37,8 @@ jobs:
             ./docs/header_gen.sh
             chmod +x py_filter.sh
             export VERSION=${{ github.ref_name }}
-
+            echo "PROJECT_NUMBER = $VERSION" >> Doxyfile
+            
 
   deploy:
 

diff --git a/Doxyfile b/Doxyfile
@@ -48,7 +48,7 @@ PROJECT_NAME           = "Formatron"
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = "$(VERSION)"
+# PROJECT_NUMBER         = $(VERSION) this somehow does not work
 
 # 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