diff options
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/texdoclib-const.tlu')
-rwxr-xr-x | Master/texmf-dist/scripts/texdoc/texdoclib-const.tlu | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/texdoclib-const.tlu b/Master/texmf-dist/scripts/texdoc/texdoclib-const.tlu index a1907c75c45..aef88a06237 100755 --- a/Master/texmf-dist/scripts/texdoc/texdoclib-const.tlu +++ b/Master/texmf-dist/scripts/texdoc/texdoclib-const.tlu @@ -5,6 +5,7 @@ -- use an empty environment that will become texdoc_env.C (see EOF) local constants = {} local kpse = kpse or require 'kpse' +local os = os or require 'os' local setfenv = setfenv local texdoc_env @@ -21,8 +22,8 @@ end -- progname and version fullname = kpse.find_file('texdoc/texdoclib', 'lua') progname = 'Texdoc' -version = '3.2.2' -release_date = '2020-09-16' +version = '3.3' +release_date = '2021-03-17' -- make sure to update setup_config_from_cl() accordingly -- and set a default value in setup_config_from_defaults() if relevant @@ -63,7 +64,7 @@ Repository: <https://github.com/TeX-Live/texdoc> Please email bugs to <texdoc@tug.org>.]] copyright_msg = [[ -Copyright 2008-2020 Manuel Pégourié-Gonnard, Takuto Asakura, the TeX Live Team. +Copyright 2008-2021 Manuel Pégourié-Gonnard, Takuto Asakura, the TeX Live Team. License GPLv3+: GNU GPL version 3 or later <https://gnu.org/licenses/gpl.html>. This is free software: you are free to change and redistribute it.]] @@ -133,6 +134,9 @@ data_tlpdb_name = 'texdoc/Data.tlpdb.lua' place_holder = '%%s' -- used for viewer commands +-- kpse path separator +kpse_sep = (os.type == 'windows') and ';' or ':' + -- END constants -- get our previous environment back |