Add env option to preserve existing TeX in Makefile

kosude · Jun 13, 2024 · 47b1ced · 47b1ced
1 parent e77631c
commit 47b1ced
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -73,8 +73,14 @@ TEXDIST_DST := $(BUILD_DIR)/tex
 TEXDIST_UNPACK := $(SRC_DIR)/vendor/tex/unpack.sh
 
 $(TEXDIST_DST): $(TEXDIST_SRC)
+	$(info No TeX distribution found in build output.)
+ifneq "$(PRESERVE_TEX)" "1"
+	$(info Extracting TeX distribution)
 	mkdir -p $(TEXDIST_DST)
 	$(TEXDIST_UNPACK) $(TEXDIST_DST)
+else
+	$(info PRESERVE_TEX=1 set, preserving any existing distribution)
+endif
 
 
 #