From 2bda696cd06dfd875a9c7d388ab76916bd749b1e Mon Sep 17 00:00:00 2001
From: Thomas Frank <thomas@franks-im-web.de>
Date: Thu, 24 Oct 2024 08:13:48 +0200
Subject: [PATCH] Mark documentation as official when built on gh

Without this each doc page is marked as UNOFFICIAL BUILD in the footer.

Signed-off-by: Thomas Frank <thomas@franks-im-web.de>
---
 .github/workflows/docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 05c7f4a4ba..a7f029566a 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -36,7 +36,7 @@ jobs:
         sudo apt-get install -y plantuml
 
     - name: Build Sphinx documentation
-      run: make html
+      run: make html OFFICIAL_BUILD=1
 
     - name: Copy redirection index.html
       run: cp github_pages/redirect_index.html build/html/index.html