From 2dc81417f6e324b2039d9bbb9af0997d3f2dee7d Mon Sep 17 00:00:00 2001
From: Dirk Wetter <dirk@testssl.sh>
Date: Wed, 17 Jun 2026 11:21:31 +0200
Subject: [PATCH] git push

---
 .github/workflows/build_docs.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml
index 8d04f60..0f0f28f 100644
--- a/.github/workflows/build_docs.yml
+++ b/.github/workflows/build_docs.yml
@@ -25,7 +25,9 @@ jobs:
 
       - name: Build documentation
         working-directory: doc
-        run: make
+        run: make -B
+        # -B ensures build when doc/testssl.1.md changes. When checking out the md file
+        # it probably might have a time stamp which indicates nothing has changed
 
       - name: Commit and push generated doc files
         run: |