diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2009-10-15 13:36:23 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2009-10-15 13:36:23 +0000 |
commit | fde252951da382c01eb79e7f9133c24818bfa7d5 (patch) | |
tree | 792c659bd47d0a7424559bed4414bc22de4c12f8 /Master/texmf/scripts | |
parent | 85438ef6634e32bf6503ac6ea92bf814eb975c9b (diff) |
Adapt texdoc for the *.1.pdf *.man1.pdf rename.
git-svn-id: svn://tug.org/texlive/trunk@15810 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/scripts')
-rwxr-xr-x | Master/texmf/scripts/texdoc/texdoc.tlu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf/scripts/texdoc/texdoc.tlu b/Master/texmf/scripts/texdoc/texdoc.tlu index d5549ee69d8..6613270c034 100755 --- a/Master/texmf/scripts/texdoc/texdoc.tlu +++ b/Master/texmf/scripts/texdoc/texdoc.tlu @@ -788,7 +788,7 @@ function setup_config_from_defaults() if support_zipped then set_config_elt('ext_list', 'pdf,pdf.gz,pdf.bz2, html,html.gz,html.bz2, txt,txt.gz,txt.bz2,'.. - '1.pdf, 5.pdf'.. + 'man1.pdf, man5.pdf'.. 'ps,ps.gz,ps.bz2, dvi,dvi.gz,dvi.bz2, ,gz,bz2') set_config_ls { unzip_gz = 'gzip -d -c ', @@ -797,7 +797,7 @@ function setup_config_from_defaults() rm_dir = 'rmdir' } else - set_config_elt('ext_list', 'pdf, html, txt, 1.pdf, 5.pdf, ps, dvi, ') + set_config_elt('ext_list', 'pdf, html, txt, man1.pdf, man5.pdf, ps, dvi, ') end end |