From 2b4345e58c8e89f208a8a1afc0f2cda42cd6f874 Mon Sep 17 00:00:00 2001
From: smiley <codemasher@users.noreply.github.com>
Date: Tue, 11 Jul 2023 14:30:28 +0200
Subject: [PATCH] :octocat:

---
 .github/workflows/ci.yml | 2 +-
 docs/conf.py             | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

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 \*'