From b255dddff7c7969c696b98150ac76ea29f518215 Mon Sep 17 00:00:00 2001
From: pedro <git2021@cas.cat>
Date: Tue, 12 Nov 2024 01:21:11 +0100
Subject: [PATCH] Makefile: easy way to regenerate pxe setup

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index 03aa432..b41a7c7 100644
--- a/Makefile
+++ b/Makefile
@@ -44,6 +44,11 @@ boot_iso_uefi_secureboot:
 		-drive file=deploy/iso/workbench_debug.iso,cache=none,if=virtio,format=raw,index=0,media=disk \
 		-boot menu=on
 
+# when you change something, you need to refresh it this way
+regenerate_pxe_install:
+	./deploy-workbench.sh
+	pxe/install-pxe.sh
+
 es_gen:
 	$(MAKE) es_gen_po
 	$(MAKE) es_gen_mo