vimdocinstall() {
  echo -n "  Updating Vim help tags... "
  /usr/bin/vim --noplugin -u NONE -U NONE \
          --cmd ":helptags /usr/share/vim/vimfiles/doc" --cmd ":q" > /dev/null 2>&1
  echo "done."
}

post_install() {
	vimdocinstall
	echo -e "  Add these key-mapping in your vimrc:\n"
	echo -e "\tnmap <F9> :SCCompile<cr>"
	echo -e "\tnmap <F10> :SCCompileRun<cr>"
	echo
	echo "  F9 and F10 can be replaced with other keys."

}

post_upgrade() {
	post_install
}

post_remove() {
  vimdocinstall
}

op=$1
shift

$op $*