From ab35134bdede34f1bdb9075ba2d8838c9783c74e Mon Sep 17 00:00:00 2001
From: Eric Bouchut <ebouchut@gmail.com>
Date: Wed, 6 Nov 2024 22:00:04 +0100
Subject: [PATCH] =?UTF-8?q?=F0=9F=92=9A=20Re-enable=20PDF=20Generation?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .github/workflows/publish.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index c445005e..bcc796df 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -57,7 +57,7 @@ jobs:
         run: playwright install --with-deps chromium
 
       - name: Build Website
-        run: mkdocs build
+        run: MKDOCS_EXPORTER_PDF=true mkdocs build
 
       - name: Push Website to gh-pages Branch
         uses: JamesIves/github-pages-deploy-action@v4