post_install()
{
	echo -n "updating the top-level info node... "
	mkinfodir /usr/share/info > /usr/share/info/dir 2>/dev/null
	echo "done."
}

post_remove()
{
	post_install
}

op=$1
shift

$op $*