diff options
Diffstat (limited to 'Master')
-rw-r--r-- | Master/texmf/doc/man/man1/texdoc.pdf | bin | 4493 -> 4493 bytes | |||
-rwxr-xr-x | Master/texmf/scripts/texlive/texdoc.tlu | 2 |
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 Binary files differindex 536cf619e9c..2a3ffde74a4 100644 --- a/Master/texmf/doc/man/man1/texdoc.pdf +++ b/Master/texmf/doc/man/man1/texdoc.pdf 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)) |