Formerly ../Make-dist.~56~
authorroland <roland>
Wed, 2 Jun 1993 21:44:35 +0000 (21:44 +0000)
committerroland <roland>
Wed, 2 Jun 1993 21:44:35 +0000 (21:44 +0000)
Make-dist

index 96b491d..7cea89c 100644 (file)
--- a/Make-dist
+++ b/Make-dist
@@ -167,9 +167,9 @@ subdirs := $(filter-out crypt,$(subdirs))
        mv $@.new $@
 
 .PHONY: dist
        mv $@.new $@
 
 .PHONY: dist
-dist: $(tardir).tar.z $(tardir)-crypt.tar.z
+dist: $(tardir).tar.gz $(tardir)-crypt.tar.gz
 
 
-$(tardir)-crypt.tar.z: crypt/crypt.tar.z
+$(tardir)-crypt.tar.gz: crypt/crypt.tar.gz
        ln $< $@
 crypt/%: FORCE
        $(MAKE) -C $(@D) $(@F)
        ln $< $@
 crypt/%: FORCE
        $(MAKE) -C $(@D) $(@F)
@@ -187,8 +187,8 @@ $(tardir).tar: dist.tar subdir_dist
 %.Z: %
        compress -c $< > $@
 
 %.Z: %
        compress -c $< > $@
 
-%.z: %
-       gzip -9 -c $< > $@
+%.gz: %
+       gzip -9 -v -c $< > $@
 
 foo:=$(shell echo 'subdirs=$(subdirs)' >&2)
 dist-subdirs := $(addprefix dist-,$(subdirs)) # dist-manual
 
 foo:=$(shell echo 'subdirs=$(subdirs)' >&2)
 dist-subdirs := $(addprefix dist-,$(subdirs)) # dist-manual