From 568bb45169d2be6d44418056d245f6ca29bfdacd Mon Sep 17 00:00:00 2001
From: Chris Birkbeck <c.birkbeck@ucl.ac.uk>
Date: Tue, 23 Jul 2024 13:23:36 +0100
Subject: [PATCH] Update2 push.yml

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

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index b30c7066..5d066bd7 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -57,7 +57,7 @@ jobs:
             DocGen4-
 
       - name: Build documentation
-        run: ~/.elan/bin/lake -Kenv=dev build FltRegular:docs
+        run: ~/.elan/bin/lake -R -Kenv=dev build FltRegular:docs
 
       - name: Install Python
         uses: actions/setup-python@v4