summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
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))