summaryrefslogtreecommitdiff
path: root/support/texdoc/script/texdoclib-config.tlu
diff options
context:
space:
mode:
Diffstat (limited to 'support/texdoc/script/texdoclib-config.tlu')
-rw-r--r--support/texdoc/script/texdoclib-config.tlu9
1 files changed, 5 insertions, 4 deletions
diff --git a/support/texdoc/script/texdoclib-config.tlu b/support/texdoc/script/texdoclib-config.tlu
index 4eb660873f..d4f993d449 100644
--- a/support/texdoc/script/texdoclib-config.tlu
+++ b/support/texdoc/script/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 {