2 include $(TOP)/config/make.cfg
4 #MM bootloader-grub2-pc-x86_64 : grub2-dirs bootloader-grub2gfx-common grub2-pc-x86_64
5 #MM bootloader-grub2gfx-pc-x86_64 : grub2-dirs bootloader-grub2gfx-common bootloader-grub2gfx-common-livecd grub2-pc-x86_64
7 #MM- grub2-pc-x86_64: arch-common-grub2 grub2-iso-setup
9 bootloader-grub2-pc-x86_64: $(BINDIR)/boot/grub/grub.cfg $(BINDIR)/EFI/BOOT/grub/grub.cfg
10 bootloader-grub2gfx-pc-x86_64: $(BINDIR)/boot/grub/grub.cfg $(BINDIR)/EFI/BOOT/grub/grub.cfg
12 $(BINDIR)/boot/grub/grub.cfg: grub.cfg
13 @$(ECHO) Copying $@...
16 $(BINDIR)/EFI/BOOT/grub/grub.cfg: grub-efi.cfg
17 @$(ECHO) Copying $@...