diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-31 16:10:30 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-31 16:10:30 +0000 |
commit | 3fa720dd4e4e971cda02d47c444be502f14cc4e1 (patch) | |
tree | fa44497605a79b821518412785f324ab0bb1655e /Master/texmf | |
parent | f9a515644302d4f6a939248bd52f88b4c083655c (diff) |
Oops, rm debugging code from the previous commit.
git-svn-id: svn://tug.org/texlive/trunk@9943 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf')
-rwxr-xr-x | Master/texmf/scripts/texlive/texdoc.tlu | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu index cc9c791b2fc..ee20771ec99 100755 --- a/Master/texmf/scripts/texlive/texdoc.tlu +++ b/Master/texmf/scripts/texlive/texdoc.tlu @@ -609,19 +609,15 @@ end -- 1. extensions are ordered as in ext_list first, -- 2. then filenames lexicograhpicaly. function file_order (a, b) - print ("compare", a, b) local ext_a = string.match (a, '^.*%.(.*)$') local ext_b = string.match (b, '^.*%.(.*)$') ext_pos_a = config.ext_list_inv[ext_a] or (config.ext_list_max+1) ext_pos_b = config.ext_list_inv[ext_b] or (config.ext_list_max+1) if ext_pos_a < ext_pos_b then - print "a < b" return true elseif ext_pos_a > ext_pos_b then - print "a > b" return false else - print "a = b" return (a < b) end end |