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