diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2009-10-08 15:10:33 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2009-10-08 15:10:33 +0000 |
commit | dab9e73c844a7c4eaec88cd69fc3c6da630946de (patch) | |
tree | f1527e432bad1406aa7f671b86516564fcd82e59 /Master/texmf/scripts/texdoc | |
parent | 327ceeab8a33a93f5cc7c7a575dc0a7f398c3929 (diff) |
Fixing texdoc settings.
git-svn-id: svn://tug.org/texlive/trunk@15683 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/scripts/texdoc')
-rwxr-xr-x | Master/texmf/scripts/texdoc/texdoc.tlu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texdoc/texdoc.tlu b/Master/texmf/scripts/texdoc/texdoc.tlu index e4e88c92782..009125d6d79 100755 --- a/Master/texmf/scripts/texdoc/texdoc.tlu +++ b/Master/texmf/scripts/texdoc/texdoc.tlu @@ -101,7 +101,7 @@ place_holder = '%%s' -- used for viewer commands -- everything works for them (look for support_zipped in the code). -- If you use this feature, please let us know: if nobody uses it, -- we'll drop it at some point. -support_zipped = true +support_zipped = false -------------------------- general-use functions --------------------------- |