From 4e687d4f9cbc12deaa54052deabd984aeee28b4c Mon Sep 17 00:00:00 2001
From: Remy Degenne <remydegenne@gmail.com>
Date: Mon, 13 Apr 2026 11:15:06 +0200
Subject: [PATCH] reactivate docgen

---
 .github/workflows/blueprint.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index 05308aaa..8ae3ddf0 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -55,13 +55,13 @@ jobs:
         run: |
           ./build_all.sh
 
-      # - name: Compile blueprint and documentation
-      #   uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26
-      #   with:
-      #     homepage: home_page
-      #     blueprint: true
-      #     build-page: false
-      #     deploy: false
+      - name: Compile blueprint and documentation
+        uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26
+        with:
+          homepage: home_page
+          blueprint: true
+          build-page: false
+          deploy: false
 
       - name: "Upload website (API documentation, blueprint and any home page)"
         if: github.event_name == 'push'