diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-05 19:32:23 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-05 19:32:23 +0200 |
| commit | 7587a4f62114a853e89b73336094b1e2d701ca54 (patch) | |
| tree | 6abad5c1571fda2ec4db500636a6f52c25a75aa6 /Makefile | |
| parent | 0b66387b9a3eea3dd451f0c3274d3d730889d263 (diff) | |
| download | lualibs-7587a4f62114a853e89b73336094b1e2d701ca54.tar.gz | |
update makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 6 insertions, 7 deletions
@@ -9,12 +9,12 @@ MODULES = $(wildcard lualibs-*.lua) UNPACKED= lualibs.lua COMPILED = $(DOC_DTX) GENERATED = $(UNPACKED) $(DOC_DTX) $(MERGED) -SOURCE = $(DTX) $(MODULES) README Makefile NEWS +SOURCE = $(DTX) $(MODULES) LICENSE README Makefile NEWS MERGED = lualibs-basic-merged.lua lualibs-extended-merged.lua # Files grouped by installation location RUNFILES = $(UNPACKED) $(MODULES) -DOCFILES = $(DOC_DTX) README NEWS +DOCFILES = $(DOC_DTX) LICENSE README NEWS SRCFILES = $(DTX) $(SRC_TEX) Makefile # The following definitions should be equivalent @@ -32,11 +32,10 @@ CTAN_ZIP = $(NAME).zip 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_PDFLUALATEX = pdflualatex --interaction=batchmode $< >/dev/null -DO_MAKEINDEX = makeindex -s gind.ist $(subst .dtx,,$<) >/dev/null 2>&1 -DO_PACKAGE = mtxrun --script package --merge $< >/dev/null +DO_TEX = luatex --interaction=batchmode $< >/dev/null +DO_PDFLATEX = lualatex --interaction=batchmode $< >/dev/null +DO_MAKEINDEX = makeindex -s gind.ist $(subst .dtx,,$<) >/dev/null 2>&1 +DO_PACKAGE = mtxrun --script package --merge $< >/dev/null all: $(GENERATED) $(DOC_TEX) $(MERGED) doc: $(COMPILED) |