diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-15 13:10:20 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-15 13:10:20 +0000 |
commit | 6a9aba3e0e9b0e8b73b3ecf7bcb9310caac75bef (patch) | |
tree | d3a7cde8846f3905a1d6654ad60da161e5eb9085 | |
parent | a81d47ee94a62023383cf7ccf7227b910f7b8383 (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-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 ]] |