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