make ${DEBS} target non-phony

diff --git a/Makefile b/Makefile
index 6728fc238c78dcfee098d06e2de26fd3d05bb98b..894ec755afec2215b26bf1643be87843fa140bbd 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ all: ${DEB}
 dinstall: ${DEB}
        dpkg -i ${DEB}
 
-.PHONY: deb ${DEB}
+.PHONY: deb
 deb ${DEB}:
        rm -rf build
        mkdir build