diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 52b204f04..4befc1dc6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -141,7 +141,7 @@ jobs:
       - name: "Build manual"
         run: |
           cd docs
-          make
+          make html
 
       - name: "Publish user manual to branch readthedocs"
         uses: JamesIves/github-pages-deploy-action@v4
diff --git a/docs/conf.py b/docs/conf.py
index 3e72e9f4b..d130cc760 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -15,10 +15,10 @@ import sys
 from subprocess import Popen, PIPE
 
 def get_version():
-    if os.environ.get('READTHEDOCS') == True:
+    if os.environ.get('READTHEDOCS') == 'True':
         return os.environ.get('READTHEDOCS_VERSION')
 
-    if os.environ.get('GITHUB_ACTIONS') == True:
+    if os.environ.get('GITHUB_ACTIONS') == 'True':
         return os.environ.get('GITHUB_REF_NAME')
 
     grep = 'git branch | findstr \*' if platform.system() == 'Windows' else 'git branch | grep \*'