summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-09-16 21:34:53 +0000
committerKarl Berry <karl@freefriends.org>2020-09-16 21:34:53 +0000
commit422619cc474863487a3bdee03feb1d5944af281b (patch)
treeeb77fb6c92a27f640133f5fb49bfa8be739ec4fb /Master/texmf-dist/scripts
parent9171277495ead4380a670e2ad46848220142611a (diff)
texdoc (16sep20)
git-svn-id: svn://tug.org/texlive/trunk@56358 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
-rwxr-xr-xMaster/texmf-dist/scripts/texdoc/texdoclib-config.tlu9
-rwxr-xr-xMaster/texmf-dist/scripts/texdoc/texdoclib-const.tlu4
-rwxr-xr-xMaster/texmf-dist/scripts/texdoc/texdoclib-search.tlu2
-rwxr-xr-xMaster/texmf-dist/scripts/texdoc/texdoclib-util.tlu4
4 files changed, 10 insertions, 9 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/texdoclib-config.tlu b/Master/texmf-dist/scripts/texdoc/texdoclib-config.tlu
index 4eb660873f9..d4f993d4495 100755
--- a/Master/texmf-dist/scripts/texdoc/texdoclib-config.tlu
+++ b/Master/texmf-dist/scripts/texdoc/texdoclib-config.tlu
@@ -345,7 +345,8 @@ function M.show_config_files(is_action)
if is_action then
print_func('Recommended file(s) for personal settings:')
local sep = (os.type == 'windows') and ';' or ':'
- local texmfhomes = string.explode(kpse.expand_path('$TEXMFHOME'), sep)
+ -- here TEXMFHOMEs do not have to exist, and thus use kpse.var_value
+ local texmfhomes = string.explode(kpse.var_value('TEXMFHOME'), sep)
for _, home in ipairs(texmfhomes) do
print_func(indent .. w32_path(home .. '/texdoc/texdoc.cnf'))
end
@@ -536,15 +537,15 @@ local function setup_config_from_defaults()
mode = 'view',
interact_switch = 'true',
machine_switch = 'false',
- ext_list = 'pdf, htm, html, txt, md, ps, dvi, ',
+ ext_list = 'pdf, htm, html, txt, dat, md, ps, dvi, ',
basename_list = 'readme, 00readme',
- badext_list = 'txt, ',
+ badext_list = 'txt, dat, ',
badbasename_list = 'readme, 00readme',
suffix_list = '',
verbosity_level = C.def_verbosity,
debug_list = '',
max_lines = '20',
- fuzzy_level = '5',
+ fuzzy_level = '3',
}
-- zip-related options
set_config_ls {
diff --git a/Master/texmf-dist/scripts/texdoc/texdoclib-const.tlu b/Master/texmf-dist/scripts/texdoc/texdoclib-const.tlu
index 0bccb118a1c..a1907c75c45 100755
--- a/Master/texmf-dist/scripts/texdoc/texdoclib-const.tlu
+++ b/Master/texmf-dist/scripts/texdoc/texdoclib-const.tlu
@@ -21,8 +21,8 @@ end
-- progname and version
fullname = kpse.find_file('texdoc/texdoclib', 'lua')
progname = 'Texdoc'
-version = '3.2.1'
-release_date = '2020-02-20'
+version = '3.2.2'
+release_date = '2020-09-16'
-- make sure to update setup_config_from_cl() accordingly
-- and set a default value in setup_config_from_defaults() if relevant
diff --git a/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu b/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu
index addb59a01f4..0340fa63ba1 100755
--- a/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu
+++ b/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu
@@ -442,7 +442,7 @@ end
------------------------------- use tlpdb --------------------------------
--- tlpdb mean TeX Live Package DataBase and tlp means TeX Live Package
+-- tlpdb means TeX Live Package DataBase and tlp means TeX Live Package
-- return true if cache exists and is newer than original, false otherwise
local function good_cache(cache, ori)
diff --git a/Master/texmf-dist/scripts/texdoc/texdoclib-util.tlu b/Master/texmf-dist/scripts/texdoc/texdoclib-util.tlu
index d14a212a123..81627c823e6 100755
--- a/Master/texmf-dist/scripts/texdoc/texdoclib-util.tlu
+++ b/Master/texmf-dist/scripts/texdoc/texdoclib-util.tlu
@@ -12,12 +12,12 @@ local texdoc = {
local M = {}
local C = texdoc.const
--- change '/' to '\' on windows
+-- lowercase and change '/' to '\' on windows for display
-- Note: Internal representation of files always use forward slashes.
-- This function should be called only before displaying a path.
if os.type == 'windows' then
function M.w32_path(path)
- return (string.gsub(path, '/', '\\'))
+ return (string.gsub(string.lower(path), '/', '\\'))
end
else
function M.w32_path(path)