diff options
-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 |