From d979da49344f89cf9a40b33c0a0b70a1a6d5ca00 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Tue, 7 May 2013 11:30:03 +0200 Subject: fix Makefile; doc as toc again --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 70244f1..4c9edc3 100644 --- a/Makefile +++ b/Makefile @@ -33,7 +33,7 @@ TDS_ZIP = $(NAME).tds.zip ZIPS = $(CTAN_ZIP) $(TDS_ZIP) DO_TEX = luatex --interaction=batchmode $< >/dev/null -DO_PDFLATEX = lualatex --interaction=batchmode $< >/dev/null +DO_PDFLATEX = latexmk -pdf -e '$$pdflatex = q(lualatex %O %S)' -silent $< >/dev/null DO_MAKEINDEX = makeindex -s gind.ist $(subst .dtx,,$<) >/dev/null 2>&1 DO_PACKAGE = mtxrun --script package --merge $< >/dev/null -- cgit v1.2.3