abinfo "Renaming executable and man page to accomodate alternatives ..."
mv -v "$PKGDIR"/usr/bin/{agrep,agrep-tre}
mv -v "$PKGDIR"/usr/share/man/man1/{agrep,tre}.1
