summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-05-11 19:40:51 +0200
committerPhilipp Gesang <phg42.2a@gmail.com>2013-05-11 19:40:51 +0200
commitd8a8649ca9e2f25b028141e7d49e38a2840eb086 (patch)
tree31ffb7c42a1f79562cb3272c4a29f3dfe86e6111
parent47228759b1ff2556364e5e3d09821048879376b6 (diff)
downloadluaotfload-2.2a.tar.gz
use luatex for dtx extraction in Makefilev2.2a
-rw-r--r--Makefile2
-rwxr-xr-xluaotfload-tool.lua1
2 files changed, 1 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index c9d2ed4..c1e98f6 100644
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,7 @@ CTAN_ZIP = $(NAME).zip
TDS_ZIP = $(NAME).tds.zip
ZIPS = $(CTAN_ZIP) $(TDS_ZIP)
-DO_TEX = tex --interaction=batchmode $< >/dev/null
+DO_TEX = luatex --interaction=batchmode $< >/dev/null
# (with the next version of latexmk: -pdf -pdflatex=lualatex)
DO_LATEX = latexmk -pdf -e '$$pdflatex = q(lualatex %O %S)' -silent $< >/dev/null
DO_GRAPHVIZ = dot -Tpdf -o $@ $< > /dev/null
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua
index bab2a9a..352697c 100755
--- a/luaotfload-tool.lua
+++ b/luaotfload-tool.lua
@@ -40,7 +40,6 @@ kpse.set_program_name"luatex"
if _G.getfenv then
local oldscript = kpse.find_file"luaotfload-legacy-tool.lua"
- print(oldscript)
return require(oldscript)
end