diff options
| author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-09-16 22:45:59 +0000 |
|---|---|---|
| committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-09-16 22:45:59 +0000 |
| commit | e7891e11b55ed4aed1f71bd41aff45bef3df4b04 (patch) | |
| tree | b3ceead784fc7913a0c9ce75049b1d45d0612d51 | |
| parent | efdd14bff1ed01653f16218535531fbcbc33c9c2 (diff) | |
texdoc update (extension problem)
git-svn-id: svn://tug.org/texlive/trunk@10616 c570f23f-e606-0410-a88d-b1316a301751
| -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)) |