updated lab.mk

labs/lab.mk

 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)