build: rename grub target to deb

diff --git a/Makefile b/Makefile
index c9991037f8373e4c88066392d80c481c5742b7c5..af5d0c7a7e1d08ba754d653d7c1c31480f576774 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -32,8 +32,8 @@ all: ${DEBS}
 dinstall: ${DEBS}
        dpkg -i ${PC_DEBS}
 
-.PHONY: grub
-grub ${DEBS}:
+.PHONY: deb
+deb ${DEBS}:
        rm -rf ${GRUB_DIR}
        tar xf ${GRUB_SRC}
        mv ${GRUB_DIR}/debian/changelog ${GRUB_DIR}/debian/changelog.org