summaryrefslogtreecommitdiff
path: root/support/texdoc/script
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-02-21 03:02:01 +0000
committerNorbert Preining <norbert@preining.info>2020-02-21 03:02:01 +0000
commitedf9632b63615c375b45941052fe190d1e02d887 (patch)
tree7a0b21d5f743ae93df76572379e93bcff920754d /support/texdoc/script
parent9989fc4235eab4ecacbc0451af9238e1372aeaff (diff)
CTAN sync 202002210302
Diffstat (limited to 'support/texdoc/script')
-rwxr-xr-xsupport/texdoc/script/texdoc.tlu14
-rw-r--r--support/texdoc/script/texdoclib-const.tlu4
2 files changed, 10 insertions, 8 deletions
diff --git a/support/texdoc/script/texdoc.tlu b/support/texdoc/script/texdoc.tlu
index bc2139435a..e16f2e4eb1 100755
--- a/support/texdoc/script/texdoc.tlu
+++ b/support/texdoc/script/texdoc.tlu
@@ -16,13 +16,15 @@ kpse.set_program_name(arg[-1], 'texdoc')
-- get realpath of this file
local function realpath(p)
if os.type == 'unix' then
- local h = io.popen(string.format("realpath '%s'", p))
- local r = h:read('*a')
- h:close()
- return r:gsub('\n$', '')
- else
- return ''
+ local e = os.execute('which realpath >/dev/null 2>&1')
+ if e == 0 then
+ local h = io.popen(string.format("realpath '%s'", p))
+ local r = h:read('*a')
+ h:close()
+ return r:gsub('\n$', '')
+ end
end
+ return ''
end
local file = realpath(arg[0])
diff --git a/support/texdoc/script/texdoclib-const.tlu b/support/texdoc/script/texdoclib-const.tlu
index 9562122d38..0bccb118a1 100644
--- a/support/texdoc/script/texdoclib-const.tlu
+++ b/support/texdoc/script/texdoclib-const.tlu
@@ -21,8 +21,8 @@ end
-- progname and version
fullname = kpse.find_file('texdoc/texdoclib', 'lua')
progname = 'Texdoc'
-version = '3.2'
-release_date = '2020-02-02'
+version = '3.2.1'
+release_date = '2020-02-20'
-- make sure to update setup_config_from_cl() accordingly
-- and set a default value in setup_config_from_defaults() if relevant