summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/texmf/scripts/texlive/texdoc.tlu4
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 ]]