summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-09-16 22:45:59 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-09-16 22:45:59 +0000
commite7891e11b55ed4aed1f71bd41aff45bef3df4b04 (patch)
treeb3ceead784fc7913a0c9ce75049b1d45d0612d51 /Master
parentefdd14bff1ed01653f16218535531fbcbc33c9c2 (diff)
texdoc update (extension problem)
git-svn-id: svn://tug.org/texlive/trunk@10616 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf/doc/man/man1/texdoc.pdfbin4493 -> 4493 bytes
-rwxr-xr-xMaster/texmf/scripts/texlive/texdoc.tlu2
2 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/doc/man/man1/texdoc.pdf b/Master/texmf/doc/man/man1/texdoc.pdf
index 536cf619e9c..2a3ffde74a4 100644
--- a/Master/texmf/doc/man/man1/texdoc.pdf
+++ b/Master/texmf/doc/man/man1/texdoc.pdf
Binary files differ
diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu
index 44ed98836ad..557391de93c 100755
--- a/Master/texmf/scripts/texlive/texdoc.tlu
+++ b/Master/texmf/scripts/texlive/texdoc.tlu
@@ -136,7 +136,7 @@ function process_file (file, pathfile, code, pattern)
local base, ext = string.match(file, '^(.*)%.(.*)$')
if string.find(pathfile, pattern, 1, no_regex) and is_good_ext (ext)
then
- if base == pattern then
+ if (base == pattern) or (file == pattern) then
table.insert(exact_docfiles, code_path (code, pathfile))
else
table.insert(rel_docfiles, code_path (code, pathfile))