1 files changed, 6 insertions, 1 deletions
diff --git a/common.mk b/common.mk
index 1e281e6d..d8a6685e 100644
--- a/common.mk
+++ b/common.mk
@@ -48,7 +48,12 @@ slides.pptx: slides.pdf $(MAKEFILE_LIST)
 .PRECIOUS: .build/%.pdf
 .build/%.pdf: %.tex .FORCE $(MAKEFILE_LIST)
 	@mkdir -p .build
-	$(VERBOSE)rubber $(RUBBER_OPTS) $<
+	$(VERBOSE)rubber $(RUBBER_OPTS) --jobname $(@:.build/%.pdf=%) $<
+
+.PRECIOUS: .build/lehrer_%.pdf
+.build/lehrer_%.pdf: %.tex .FORCE $(MAKEFILE_LIST)
+	@mkdir -p .build
+	$(VERBOSE)LESSON_LEHRERVERSION=true rubber $(RUBBER_OPTS) --jobname $(@:.build/%.pdf=%) $<
 
 %.pdf: .build/%.pdf
 	@echo "built $@"