gpxe/Makefile: don't remove gpxelinux.0 for "make dist"

After all, "make dist" is about producing the wrapped binaries for
release.

diff --git a/gpxe/Makefile b/gpxe/Makefile
index 6190af5..09e03d9 100644 (file)
--- a/gpxe/Makefile
+++ b/gpxe/Makefile
@@ -25,10 +25,10 @@ tidy:
 clean: tidy
 
 dist:
-       rm -f $(TARGETS)
        $(MAKE) -C src veryclean > /dev/null 2>&1
 
 spotless: clean dist
+       rm -f $(TARGETS)
 
 installer: