diff options
Diffstat (limited to 'install.rb')
-rwxr-xr-x | install.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install.rb b/install.rb index 70922cc98..207f74a0b 100755 --- a/install.rb +++ b/install.rb @@ -106,7 +106,7 @@ def do_man(man, strip = 'man/') File.install(mf, omf, 0644, true) gzip = %x{which gzip} gzip.chomp! - %x{#{gzip} #{omf}} + %x{#{gzip} -f #{omf}} end end |