system/zsh
system/zsh
1
0
Fork 0
mirror of https://github.com/zsh-users/zsh synced 2024-10-14 11:53:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

One missed hunk from 31988.

Browse source
This commit is contained in:
Barton E. Schaefer 2013-11-15 22:19:02 -08:00
parent e7fa65ffae
commit 17465686af
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Util/helpfiles
View file

@ -61,8 +61,10 @@ unless(-d $destdir) {
mkdir($destdir) || &Die("$destdir is not a directory and cannot be created");
}
delete($ENV{'MANPL'});
delete($ENV{'MANROFFSEQ'});
foreach (keys %ENV) {
delete($ENV{$_}) if(/^((LC_)|(LESS)|(MAN))/);
}
$ENV{'LANG'} = 'C';
$ENV{'MANWIDTH'} = '80';
$ENV{'GROFF_NO_SGR'} = ''; # We need "classical" formatting of man pages.