summaryrefslogtreecommitdiff
path: root/Master/texmf/scripts
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-31 16:10:30 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-31 16:10:30 +0000
commit3fa720dd4e4e971cda02d47c444be502f14cc4e1 (patch)
treefa44497605a79b821518412785f324ab0bb1655e /Master/texmf/scripts
parentf9a515644302d4f6a939248bd52f88b4c083655c (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/scripts')
-rwxr-xr-xMaster/texmf/scripts/texlive/texdoc.tlu4
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