diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/pdfx/Makefile.src')
-rw-r--r-- | Master/texmf-dist/source/latex/pdfx/Makefile.src | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/latex/pdfx/Makefile.src b/Master/texmf-dist/source/latex/pdfx/Makefile.src index 80d102c327e..7681e190128 100644 --- a/Master/texmf-dist/source/latex/pdfx/Makefile.src +++ b/Master/texmf-dist/source/latex/pdfx/Makefile.src @@ -17,7 +17,7 @@ out: # sed 's/BOOKMARK/fxmark/g;' tmp.out > x.out; mv x.out tmp.out ; pdf: - pdflatex $(file).dtx + pdflatex -recorder $(file).dtx index: makeindex -s gind.ist -o $(file).ind $(file).idx |