diff options
Diffstat (limited to 'info/tex-vpat/Makefile')
-rw-r--r-- | info/tex-vpat/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/info/tex-vpat/Makefile b/info/tex-vpat/Makefile index 1e3a431b93..ce52eaeeb1 100644 --- a/info/tex-vpat/Makefile +++ b/info/tex-vpat/Makefile @@ -9,9 +9,9 @@ HTML = ${SRC:%.tex=%.html} ${SRC:%.tex=%.css} all: ${PDF} ${HTML} %.pdf: %.tex - pdflatex $< + lualatex $< while ( grep -q '^LaTeX Warning: Label(s) may have changed' $*.log) \ - do pdflatex $<; done + do lualatex $<; done %.html: %.tex |