summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/disser/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/disser/Makefile')
-rw-r--r--Master/texmf-dist/doc/latex/disser/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/disser/Makefile b/Master/texmf-dist/doc/latex/disser/Makefile
index 8d642574bdd..be7b7eee0e8 100644
--- a/Master/texmf-dist/doc/latex/disser/Makefile
+++ b/Master/texmf-dist/doc/latex/disser/Makefile
@@ -25,7 +25,7 @@ CSFDIR ?= $(DESTDIR)/bibtex/csf/$(TARGET)
SRCDIR ?= $(DESTDIR)/source/latex/$(TARGET)
CLEXT ?= *.aux *.toc *.idx *.ind *.ilg *.log *.out *.lof *.lot *.lol \
- *.bbl *.blg *.bak *.dvi *.ps *.pdf
+ *.bbl *.blg *.bak *.dvi *.ps *.pdf *.synctex *.synctex.gz
CLFILES ?= $(CLEXT) $(CLSFILES) $(BSTFILES)
LATEX ?= latex
@@ -33,7 +33,7 @@ PDFLATEX ?= pdflatex
MI ?= makeindex
LATEXFLAGS ?= --src-specials
-PDFLATEXFLAGS ?= --shell-escape
+PDFLATEXFLAGS ?= --shell-escape --synctex=1
MIFLAGS ?= -r -s dtx.ist