From 758d47371f39b54921354e2f9cfb46711256ddd3 Mon Sep 17 00:00:00 2001 From: Manuel Pégourié-Gonnard Date: Tue, 15 Jul 2008 16:32:58 +0000 Subject: oops, keep default conf values for the zip code anyway git-svn-id: svn://tug.org/texlive/trunk@9574 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf/scripts/texlive/texdoc.tlu | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'Master/texmf') diff --git a/Master/texmf/scripts/texlive/texdoc.tlu b/Master/texmf/scripts/texlive/texdoc.tlu index 5b88a678734..d106d533a61 100755 --- a/Master/texmf/scripts/texlive/texdoc.tlu +++ b/Master/texmf/scripts/texlive/texdoc.tlu @@ -398,11 +398,17 @@ else -- since we don't support msdos, if os.type is not windows, it's unix end end --- now a particular case for config.ext_list +-- now a particular case for config.ext_list and zip-relted stuff if support_zipped then set_config_element('ext_list', '.pdf, .pdf.gz, .pdf.bz2, .dvi, .dvi.gz, .dvi.bz2,'.. '.ps, .ps.gz, .ps.bz2, .txt, .txt.gz, .txt.bz2, .html') + set_config_list { + unzip_gz = 'gzip -d -c ', + unzip_bz2 = 'bzip -d -c ', + rm_file = 'rm -f', + rm_dir = 'rmdir' + } else set_config_element('ext_list', '.pdf, .html, .txt, .dvi, .ps') end -- cgit v1.2.3