diff options
Diffstat (limited to 'tool')
-rwxr-xr-x | tool/rbinstall.rb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tool/rbinstall.rb b/tool/rbinstall.rb index 1a17f093a8..b14a4cdbd7 100755 --- a/tool/rbinstall.rb +++ b/tool/rbinstall.rb @@ -538,8 +538,13 @@ install?(:local, :comm, :man) do destname = ruby_install_name.sub(/ruby/, base.chomp(".#{section}")) destfile = File.join(destdir, "#{destname}.#{section}") - if $mantype == "doc" + if /\Adoc\b/ =~ $mantype install mdoc, destfile, :mode => $data_mode + case $mantype + when /\.(?:(gz)|bz2)\z/ + compress = $1 ? "gzip" : "bzip2" + system(compress, dest) + end else class << (w = []) alias print push |