From fde252951da382c01eb79e7f9133c24818bfa7d5 Mon Sep 17 00:00:00 2001 From: Manuel Pégourié-Gonnard Date: Thu, 15 Oct 2009 13:36:23 +0000 Subject: Adapt texdoc for the *.1.pdf *.man1.pdf rename. git-svn-id: svn://tug.org/texlive/trunk@15810 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf/scripts/texdoc/texdoc.tlu | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Master/texmf/scripts') 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 -- cgit v1.2.3