diff options
author | Karl Berry <karl@freefriends.org> | 2018-03-09 22:47:41 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-03-09 22:47:41 +0000 |
commit | b7a725e9ab8924313f9eaf945f61e6ea7040c1c0 (patch) | |
tree | 1f0bc471f6caad309f9fcb4e39179d5387473fc7 /Master/texmf-dist/scripts/l3build/l3build-help.lua | |
parent | ede48fa402ed1c37b836d56fc860a137fd0d2e11 (diff) |
l3build (9mar18)
git-svn-id: svn://tug.org/texlive/trunk@46905 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/l3build/l3build-help.lua')
-rw-r--r-- | Master/texmf-dist/scripts/l3build/l3build-help.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/l3build/l3build-help.lua b/Master/texmf-dist/scripts/l3build/l3build-help.lua index 770022f254d..c7050c44210 100644 --- a/Master/texmf-dist/scripts/l3build/l3build-help.lua +++ b/Master/texmf-dist/scripts/l3build/l3build-help.lua @@ -31,7 +31,11 @@ function version() end function help() - print("usage: " .. arg[0] .. " <command> [<options>] [<names>]") + local scriptname = "l3build" + if not string.match(arg[0], "l3build(%.lua)$") then + scriptname = arg[0] + end + print("usage: " .. scriptname .. " <command> [<options>] [<names>]") print("") print("The most commonly used l3build commands are:") if testfiledir ~= "" then |