+ if [ "$installer_added" = "0" ]; then
+ installer_added=1
+ cat >>${mntpt}/boot/grub/menu.lst<<EOF
+
+title Debian GNU/Linux Installer
+root (hd0,0)
+kernel ${prefix}/vmlinuz-${v} root=LABEL=${label} ro installer
+initrd ${prefix}/initrd.img-${v}
+boot
+EOF
+ fi
+