diff options
author | Karl Berry <karl@freefriends.org> | 2021-05-20 20:18:50 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-05-20 20:18:50 +0000 |
commit | 4f43d9886dd3c8a528bf9c2c36204003407e5c67 (patch) | |
tree | 5c13c87dea561cc2fc3b26d5d8fd304d512b15b4 /Master/texmf-dist/scripts/texdoc/texdoclib-score.tlu | |
parent | e5b2b6915c86bd49ca8d4e0c218ff690741707d8 (diff) |
texdoc (20may21)
git-svn-id: svn://tug.org/texlive/trunk@59283 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/texdoclib-score.tlu')
-rwxr-xr-x | Master/texmf-dist/scripts/texdoc/texdoclib-score.tlu | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/texdoclib-score.tlu b/Master/texmf-dist/scripts/texdoc/texdoclib-score.tlu index fdc2ef3467f..01c3818e375 100755 --- a/Master/texmf-dist/scripts/texdoc/texdoclib-score.tlu +++ b/Master/texmf-dist/scripts/texdoc/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 |