diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 | 
1 files changed, 4 insertions, 4 deletions
| @@ -41,7 +41,7 @@ TDS_ZIP = $(NAME).tds.zip  ZIPS = $(CTAN_ZIP) $(TDS_ZIP)  DO_TEX = tex --interaction=batchmode $< >/dev/null -DO_PDFLATEX = pdflatex --interaction=batchmode $< >/dev/null +DO_LATEX = lualatex --interaction=batchmode $< >/dev/null  DO_MAKEINDEX = makeindex -s gind.ist $(subst .dtx,,$<) >/dev/null 2>&1  all: $(GENERATED) @@ -52,10 +52,10 @@ tds: $(TDS_ZIP)  world: all ctan  $(COMPILED): $(DTX) -	$(DO_PDFLATEX) +	$(DO_LATEX)  	$(DO_MAKEINDEX) -	$(DO_PDFLATEX) -	$(DO_PDFLATEX) +	$(DO_LATEX) +	$(DO_LATEX)  $(UNPACKED): $(DTX)  	$(DO_TEX) | 
