diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-07 11:30:03 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-07 11:30:03 +0200 |
| commit | d979da49344f89cf9a40b33c0a0b70a1a6d5ca00 (patch) | |
| tree | 7beedb63909443eb7297e328d0c511d1fa092d94 | |
| parent | 92672ed1f12f18abb2d5032aec1cd822f572231d (diff) | |
| download | lualibs-d979da49344f89cf9a40b33c0a0b70a1a6d5ca00.tar.gz | |
fix Makefile; doc as toc again
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |