summaryrefslogtreecommitdiff
path: root/Master/texmf/scripts/texdoc/search.tlu
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2010-07-15 14:05:10 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2010-07-15 14:05:10 +0000
commit2e1f055f9e98f45fadbfd7f0872e8f87c38d1aa9 (patch)
treeb3c9f62aa6ee69a438c015f868307e2e9ebd502d /Master/texmf/scripts/texdoc/search.tlu
parente7203437ab0953f71380a1dd091a955c2ab32bee (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.tlu9
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