summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-15 13:10:20 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-15 13:10:20 +0000
commit6a9aba3e0e9b0e8b73b3ecf7bcb9310caac75bef (patch)
treed3a7cde8846f3905a1d6654ad60da161e5eb9085
parenta81d47ee94a62023383cf7ccf7227b910f7b8383 (diff)
Correct bug in inserting '' at beginning of ext_list
git-svn-id: svn://tug.org/texlive/trunk@9570 c570f23f-e606-0410-a88d-b1316a301751
-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 ]]