From 8816a9c0a23203ce591d7a74a5153a522eabf610 Mon Sep 17 00:00:00 2001
From: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com>
Date: Thu, 7 Nov 2024 16:47:42 +0100
Subject: [PATCH] Don't run lake update when building the documentation

---
 Makefile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 6b3dbef..a3d89a3 100644
--- a/Makefile
+++ b/Makefile
@@ -10,10 +10,8 @@ build:
 	$(LAKEBIN) exe cache get
 	$(LAKEBIN) build
 
-doc: .lake/packages/doc-gen4
+doc:
 	$(LAKEBIN) -R -Kenv=dev build $(PROJECT):docs
-.lake/packages/doc-gen4:
-	$(LAKEBIN) -R -Kenv=dev update
 clean-doc:
 	rm -rf .lake/build/doc/*