summaryrefslogtreecommitdiff
path: root/Master/texmf
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-15 16:32:58 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-15 16:32:58 +0000
commit758d47371f39b54921354e2f9cfb46711256ddd3 (patch)
tree2492a5e0c5850a400ae1d4349ac8845782318b50 /Master/texmf
parent20e1c67c2bad0ca817460828fd1eca08067132fc (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/texmf')
-rwxr-xr-xMaster/texmf/scripts/texlive/texdoc.tlu8
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