diff options
| author | Karl Berry <karl@freefriends.org> | 2012-11-23 22:45:06 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2012-11-23 22:45:06 +0000 |
| commit | 53ef995986cf28c61e47d976d1a2b681ef9e1d7b (patch) | |
| tree | cabcc73146cc6a28a6e08341326672a8e35b0416 /Master/texmf-dist/doc/latex/disser/nomake.cmd | |
| parent | 3f66843772666314e29eaff3a4257870505321dd (diff) | |
disser (23nov12)
git-svn-id: svn://tug.org/texlive/trunk@28342 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/disser/nomake.cmd')
| -rw-r--r-- | Master/texmf-dist/doc/latex/disser/nomake.cmd | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/disser/nomake.cmd b/Master/texmf-dist/doc/latex/disser/nomake.cmd index 10858f086d2..385bf5169a4 100644 --- a/Master/texmf-dist/doc/latex/disser/nomake.cmd +++ b/Master/texmf-dist/doc/latex/disser/nomake.cmd @@ -31,7 +31,7 @@ if "!docdir!"=="" set docdir=!destdir!\doc\latex\%target% if "!srcdir!"=="" set srcdir=!destdir!\source\latex\%target% if "!clext!"=="" set clext=*.aux *.toc *.idx *.ind *.ilg *.log *.out *.lof ^ -*.lot *.lol *.bbl *.blg *.bak *.dvi *.ps *.pdf +*.lot *.lol *.bbl *.blg *.bak *.dvi *.ps *.pdf *.synctex *.synctex.gz if "!clfiles!"=="" set clfiles=!clext! %clsfiles% %bstfiles% if "!latex!"=="" set latex=latex @@ -39,7 +39,7 @@ if "!pdflatex!"=="" set pdflatex=pdflatex if "!mi!"=="" set mi=makeindex if "!latexflags!"=="" set latexflags=--src-specials -if "!pdflatexflags!"=="" set pdflatexflags=--shell-escape +if "!pdflatexflags!"=="" set pdflatexflags=--shell-escape --synctex=1 if "!miflags!"=="" set miflags=-r -s dtx.ist |