rnd-19981204-2

[rocksndiamonds.git] / Makefile

diff --git a/Makefile b/Makefile
index 914925fe6f98f5e3a7f2c1265727d271601a603d..4616aecbbd344b4813112dead55e56d8f016479c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -11,27 +11,28 @@
 # you shouldn't need to change anything below                                 #
 #-----------------------------------------------------------------------------#
 
-PROGNAME = rocksndiamonds
-SRC_DIR = src
-
 MAKE = make
-RM = rm -f
-
-MAKE_CMD = $(MAKE) -C $(SRC_DIR)
 
+SRC_DIR = src
+MAKE_CMD = @$(MAKE) -C $(SRC_DIR)
 
-all:   $(PROGNAME)
 
-$(PROGNAME):
+all:
        $(MAKE_CMD)
 
 clean:
        $(MAKE_CMD) clean
-       $(RM) $(PROGNAME)
 
 backup:
-       $(MAKE) clean
-       ./scripts/make_backup.sh
+       ./Scripts/make_backup.sh
+
+dist-unix:
+       ./Scripts/make_dist_unix.sh .
+
+dist-dos:
+       ./Scripts/make_dist_dos.sh .
+
+dist: dist-unix dist-dos
 
 depend:
        $(MAKE_CMD) depend