diff options
author | Norbert Preining <norbert@preining.info> | 2021-05-21 03:01:23 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-05-21 03:01:23 +0000 |
commit | 6a52d8839d334ac56f36195aa404fac667862830 (patch) | |
tree | 826593c6af503aaaf2691f8e96912485428ef595 /support/texdoc/script/texdoclib-score.tlu | |
parent | 6d6c3b4ee419b9f485a213d2ece28b06e9ca2f7c (diff) |
CTAN sync 202105210301
Diffstat (limited to 'support/texdoc/script/texdoclib-score.tlu')
-rw-r--r-- | support/texdoc/script/texdoclib-score.tlu | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/support/texdoc/script/texdoclib-score.tlu b/support/texdoc/script/texdoclib-score.tlu index fdc2ef3467..01c3818e37 100644 --- a/support/texdoc/script/texdoclib-score.tlu +++ b/support/texdoc/script/texdoclib-score.tlu @@ -250,7 +250,7 @@ end -- compare two docfile's: (see texdoclib-search.tlu for structure) -- 1. by score -- 2. then by extensions (ordered as in ext_list), --- 3. then lexicographically by fullpath. +-- 3. then lexicographically by normname. -- 4. then by tree. -- return true if a is better than b local function docfile_order(a, b) @@ -258,8 +258,8 @@ local function docfile_order(a, b) elseif a.score < b.score then return false elseif a.ext_pos < b.ext_pos then return true elseif a.ext_pos > b.ext_pos then return false - elseif a.realpath < b.realpath then return true - elseif a.realpath > b.realpath then return false + elseif a.normname < b.normname then return true + elseif a.normname > b.normname then return false else return (a.tree > b.tree) end end |