aboutsummaryrefslogtreecommitdiff
path: root/common.mk
diff options
context:
space:
mode:
Diffstat (limited to 'common.mk')
-rw-r--r--common.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/common.mk b/common.mk
index d0139cd3..d71f8753 100644
--- a/common.mk
+++ b/common.mk
@@ -30,7 +30,7 @@ SLIDES_OPTIONS += --pdf-engine-opt=-fmt=$(LATEX_FMT_BASE)/slides.fmt
RUBBER_XARGS ?=
RUBBER_INCLUDES := -I "$(LATEX_BASE)" -I "$(COMMON_IMAGES)"
-RUBBER_ARGS := --into .build --pdf $(RUBBER_XARGS) --shell-escape $(RUBBER_INCLUDES)
+RUBBER_ARGS := --into .build --pdf $(RUBBER_XARGS) --shell-escape $(RUBBER_INCLUDES) --synctex
LATEX_PROG ?= pdflatex
LATEX = TEXINPUTS=$(LATEX_BASE) $(LATEX_PROG)