diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texlive/texdoc.tlu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu index ccc8bb38761..6255e7abae2 100755 --- a/Master/texmf/scripts/texlive/texdoc.tlu +++ b/Master/texmf/scripts/texlive/texdoc.tlu @@ -402,8 +402,8 @@ set_config_element('ext_list', -- we want an empty string for ext at the beginning, so that it works -- to specify the complete filename. Doesn't matter when there's one -- more empty string, but we can easily avoid two in a row -if not config.ext_list[1] == '' then - insert(config.ext_list,1,'') +if not (config.ext_list[1] == '') then + table.insert(config.ext_list,1,'') end -- [[ functions for viewing ]] |