1 files changed, 13 insertions, 3 deletions
diff --git a/libre-testing/syslinux/syslinux.install b/libre-testing/syslinux/syslinux.install
index 19caa1026..ac8553a97 100644
--- a/libre-testing/syslinux/syslinux.install
+++ b/libre-testing/syslinux/syslinux.install
@@ -1,8 +1,18 @@
 post_install() {
-  echo "==> If you want to use syslinux as your bootloader"
+  echo "==> If you want to use syslinux as your BIOS bootloader"
   echo "==> edit /boot/syslinux/syslinux.cfg and run"
   echo "==>   # /usr/bin/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
+EOF
+
 }
 
 post_upgrade() {
@@ -17,9 +27,9 @@ post_upgrade() {
       echo "If you manually installed syslinux:"
       echo "==> Please copy or symlink all .c32 modules to your /boot/syslinux directory."
       echo "==> If (/ and /boot on seperate fs):"
-      echo "==>   # cp /usr/lib/syslinux/*.c32 /boot/syslinux"
+      echo "==>   # cp /usr/lib/syslinux/bios/*.c32 /boot/syslinux"
       echo "==> If (/ and /boot on same fs):"
-      echo "==>   # ln -s /usr/lib/syslinux/*.c32 /boot/syslinux"
+      echo "==>   # ln -s /usr/lib/syslinux/bios/*.c32 /boot/syslinux"
   fi
 }