diff --git a/labs/lab.mk b/labs/lab.mk
index 57d8de7f5b14cdb61db21e9a97c4dc98de5286b6..e17a338b39721f8297e1a9cdeda8a905ca986ef5 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)