diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2010-07-15 14:05:10 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2010-07-15 14:05:10 +0000 |
commit | 2e1f055f9e98f45fadbfd7f0872e8f87c38d1aa9 (patch) | |
tree | b3c9f62aa6ee69a438c015f868307e2e9ebd502d /Master/texmf/scripts/texdoc/search.tlu | |
parent | e7203437ab0953f71380a1dd091a955c2ab32bee (diff) |
texdoc update (now finds readme.* too, in particular readme.texlive)
git-svn-id: svn://tug.org/texlive/trunk@19468 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/scripts/texdoc/search.tlu')
-rw-r--r-- | Master/texmf/scripts/texdoc/search.tlu | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texdoc/search.tlu b/Master/texmf/scripts/texdoc/search.tlu index aa225b7fb46..fc74650e31a 100644 --- a/Master/texmf/scripts/texdoc/search.tlu +++ b/Master/texmf/scripts/texdoc/search.tlu @@ -332,7 +332,8 @@ function scan_db(patlist, code, lsr_db) end end --- says if file has a 'good' extenstion according to ext_list +-- says if file has a known extenstion according to ext_list +-- (or known basename according to basename_list) function check_ext(file) file = string.lower(file) -- remove zipext if applicable @@ -352,6 +353,12 @@ function check_ext(file) end end end + -- is the basename good? + for _, b in ipairs(config.basename_list) do + if file:find('^'..b..'$') or file:find('^'..b..'%.') then + return true + end + end return false end |