Makefile - gnu-grub-dash-docset.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/Makefile

blob: ff50444304a1cb897b1a3b9a858ab79115742c7e (plain)


all: grub

grub:
	$(MAKE) -f grub-Makefile

.PHONY: clean
clean:
	$(MAKE) clean -f grub-Makefile