From 2e1f055f9e98f45fadbfd7f0872e8f87c38d1aa9 Mon Sep 17 00:00:00 2001 From: Manuel Pégourié-Gonnard Date: Thu, 15 Jul 2010 14:05:10 +0000 Subject: texdoc update (now finds readme.* too, in particular readme.texlive) git-svn-id: svn://tug.org/texlive/trunk@19468 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf/scripts/texdoc/search.tlu | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'Master/texmf/scripts/texdoc/search.tlu') 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 -- cgit v1.2.3