Merge pull request #14974 from ywwry66/install_info_from_path

This commit is contained in:
Carlo Cabrera 2023-03-20 04:31:46 +08:00 committed by GitHub
commit e7f15ae0ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -343,14 +343,24 @@ class Pathname
chmod saved_perms if saved_perms
end
# @private
def which_install_info
@which_install_info ||=
if File.executable?("/usr/bin/install-info")
"/usr/bin/install-info"
elsif Formula["texinfo"].any_version_installed?
Formula["texinfo"].opt_bin/"install-info"
end
end
# @private
def install_info
quiet_system "/usr/bin/install-info", "--quiet", to_s, "#{dirname}/dir"
quiet_system(which_install_info, "--quiet", to_s, "#{dirname}/dir")
end
# @private
def uninstall_info
quiet_system "/usr/bin/install-info", "--delete", "--quiet", to_s, "#{dirname}/dir"
quiet_system(which_install_info, "--delete", "--quiet", to_s, "#{dirname}/dir")
end
# Writes an exec script in this folder for each target pathname.