PKGBUILDs/extra/indent/indent.install

15 lines
273 B
Text
Raw Normal View History

2009-10-10 02:23:22 +00:00
info_dir=/usr/share/info
info_file=indent.info.gz
post_install() {
install-info ${info_dir}/$info_file ${info_dir}/dir 2> /dev/null
}
post_upgrade() {
post_install $1
}
pre_remove() {
install-info --delete ${info_dir}/$info_file ${info_dir}/dir 2> /dev/null
}