diff --git a/labs/lab.mk b/labs/lab.mk
new file mode 100644
index 0000000000000000000000000000000000000000..57d8de7f5b14cdb61db21e9a97c4dc98de5286b6
--- /dev/null
+++ b/labs/lab.mk
@@ -0,0 +1,21 @@
+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)
+