From e84713193db4520e53bc69531060d47a3de06838 Mon Sep 17 00:00:00 2001
From: Florent Gluck <florent.gluck@hesge.ch>
Date: Fri, 4 Oct 2024 13:02:07 +0200
Subject: [PATCH] updated lab.mk

---
 labs/lab.mk | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/labs/lab.mk b/labs/lab.mk
index 57d8de7..e17a338 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)
 
 doc: $(PDFS)
 
-corr: $(PDFS_CORR)
-
-all: doc corr
-
 %.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