post_install() {
	cat <<EOF

The man page has been renamed to editline-troglobit
to avoid conflicting with libedit's man page.

EOF
}
