From e8cbeebdfd90b203c8d77d885522bd85779a2afe Mon Sep 17 00:00:00 2001
From: Florent Gluck <florent.gluck@hesge.ch>
Date: Mon, 4 Nov 2024 17:49:13 +0100
Subject: [PATCH] updated lab.mk

---
 labs/lab.mk | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/labs/lab.mk b/labs/lab.mk
index f5fd09d..3969a22 100644
--- a/labs/lab.mk
+++ b/labs/lab.mk
@@ -1,21 +1,13 @@
 SRCS=$(wildcard *.md)
 PDFS=$(SRCS:%.md=%.pdf)
-PDFS_CORR=$(SRCS:%.md=%_corr.pdf)
 UID=$(shell id -u)
 GID=$(shell id -g)
 
-all: doc
-
-doc: $(PDFS)
-
-corr: $(PDFS_CORR)
+all: $(PDFS)
 
 %.pdf: %.md
 	docker run --user $(UID):$(GID) --rm --mount type=bind,src="$(PWD)",dst=/src thxbb12/md2pdf build_lab $<
 
-%_corr.pdf: %.md
-	docker run --user $(UID):$(GID) --rm --mount type=bind,src="$(PWD)",dst=/src thxbb12/md2pdf build_lab_corr $<
-
 clean:
 	rm -f $(PDFS) $(PDFS_CORR)
 
-- 
GitLab