post_install() {
  echo "==> If you want to use syslinux as your BIOS bootloader"
  echo "==> edit /boot/syslinux/syslinux.cfg and run"
  echo "==>   # /usr/sbin/syslinux-install_update -i -a -m"
  echo "==> to install it."

  cat << EOF
Syslinux efi64 and efi32 files have been installed at
/usr/lib/syslinux/{efi64,efi32}/ respectively.

To install, copy /usr/lib/syslinux/efi64 to (ESP)/EFI/syslinux and
syslinux.cfg to (ESP)/EFI/syslinux/syslinux.cfg and add a boot entry
using efibootmgr for (ESP)/EFI/syslinux/syslinux.efi

NOTE: For [multilib] repo removal reasons, efi32 has been removed in
      x86_64 architecture.
EOF
}

post_upgrade() {
  # auto-update syslinux if /boot/syslinux/SYSLINUX_AUTOUPDATE exists
  /usr/sbin/syslinux-install_update -s
}

# vim:set ts=2 sw=2 et:
