diff configure.ac @ 3432:5fc3d674ca3a

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.
author Rik <rik@octave.org>
date Fri, 17 Jan 2014 13:04:28 -0800
parents a7c772aa106f
children cf04cf2fa91c
line wrap: on
line diff