diff options
author | Norbert Preining <norbert@preining.info> | 2020-09-17 03:03:01 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-09-17 03:03:01 +0000 |
commit | c3b4471e847c09c37a8d2587bdd0e88aaee1b124 (patch) | |
tree | b232de3ca9f38fee58adb87bd32dbd183a8fadce /support/texdoc/script/texdoclib-config.tlu | |
parent | a9e7a34498af9c67afbb969e60619a1bdf6bd96f (diff) |
CTAN sync 202009170303
Diffstat (limited to 'support/texdoc/script/texdoclib-config.tlu')
-rw-r--r-- | support/texdoc/script/texdoclib-config.tlu | 9 |
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 { |