diff --git a/labs/lab.mk b/labs/lab.mk
index f5fd09d5dabcdf4244ee9854b839300ed9410a6d..3969a224d2f97d42462813243465f1b18707cfed 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)