# HG changeset patch
# User Rik <rik@octave.org>
# Date 1389992668 28800
# Node ID 5fc3d674ca3a762b046cf8a696e5a73dce804386
# Parent  a7c772aa106f7c7541c3f0606171ef751f8fbb9c
Correctly name output of dist-tar with .tgz, not .zip, extension.

* binary-dist-rules.mk: Change dist-tar rule to produce a file with .tgz
extension.

diff -r a7c772aa106f -r 5fc3d674ca3a binary-dist-rules.mk
--- a/binary-dist-rules.mk	Thu Jan 16 18:03:14 2014 -0500
+++ b/binary-dist-rules.mk	Fri Jan 17 13:04:28 2014 -0800
@@ -135,7 +135,7 @@
 define make-tar-dist
   echo "generating tar file..."
   cd $(TOP_DIR)/dist \
-    && tar -c -z -f $(OCTAVE_DIST_NAME).zip $(OCTAVE_DIST_NAME)
+    && tar -c -z -f $(OCTAVE_DIST_NAME).tgz $(OCTAVE_DIST_NAME)
 endef
 
 .PHONY: tar-dist