summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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