diff options
Diffstat (limited to 'info/tex-vpat/Makefile')
-rw-r--r-- | info/tex-vpat/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/info/tex-vpat/Makefile b/info/tex-vpat/Makefile index ce52eaeeb1..fe0a1010f3 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 - lualatex $< + lualatex-dev $< while ( grep -q '^LaTeX Warning: Label(s) may have changed' $*.log) \ - do lualatex $<; done + do lualatex-dev $<; done %.html: %.tex @@ -29,7 +29,7 @@ clean: *.4ht *.4ct *.4tc *.tmp *.idv *.lg *.xref distclean: clean - $(RM) ${PDF} ${HTML} + $(RM) ${PDF} ${HTML} *.html archive: all clean COPYFILE_DISABLE=1 tar -czvf ../$(PACKAGE).tgz --exclude '*~' \ |