summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tex.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/tex.mk b/tex.mk
index d0254bf..1a6e447 100644
--- a/tex.mk
+++ b/tex.mk
@@ -65,3 +65,4 @@ ifneq ($(strip $(pdf_from_independent_tex)),)
rm -f $(pdf_from_independent_tex)
endif
+.INTERMEDIATE: $(tex_independent_bases)