diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-15 16:32:58 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-15 16:32:58 +0000 |
commit | 758d47371f39b54921354e2f9cfb46711256ddd3 (patch) | |
tree | 2492a5e0c5850a400ae1d4349ac8845782318b50 /Master | |
parent | 20e1c67c2bad0ca817460828fd1eca08067132fc (diff) |
oops, keep default conf values for the zip code anyway
git-svn-id: svn://tug.org/texlive/trunk@9574 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texlive/texdoc.tlu | 8 |
1 files changed, 7 insertions, 1 deletions
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 |