Source2: shellx64.conf
Source3: shellia32.conf
Source4: grub.conf
+Source5: grub-installed.conf
Source10: README
Source11: TODO
URL: http://www.pld-linux.org/
install %{name} $RPM_BUILD_ROOT%{_sbindir}/%{name}
install %{name}.8 $RPM_BUILD_ROOT%{_mandir}/man8/%{name}.8
install %{SOURCE1} $RPM_BUILD_ROOT/etc/efi-boot
-install %{SOURCE2} %{SOURCE3} %{SOURCE4} $RPM_BUILD_ROOT/etc/efi-boot/update.d
+install %{SOURCE2} %{SOURCE3} %{SOURCE4} %{SOURCE5} \
+ $RPM_BUILD_ROOT/etc/efi-boot/update.d
%clean
rm -rf $RPM_BUILD_ROOT
--- /dev/null
+#
+# This module just adds a label for GRUB already installed with grub-install
+# so it can be included in efi-boot-update managed boot order
+#
+
+ENABLED=yes
+BINARY=/EFI/grub/grubx64.efi
+LABEL="GRUB (preinstalled)"