make dist-building more pleasant (put .tar.gz in builds/ directory)

diff --git a/Makefile.builds.in b/Makefile.builds.in
index 94f5235dbef8d9df2873b87182e0546fc8be79c8..1aa79d2206064dd06be151dac809ba7cad27e6a0 100644 (file)
--- a/Makefile.builds.in
+++ b/Makefile.builds.in
@@ -29,6 +29,7 @@ prefix = @prefix@
 bindir = @bindir@
 libdir = @libdir@
 abs_builddir = @abs_builddir@
+distdir = @PACKAGE@-@VERSION@
 
 # Are we building static/dynamic libraries/binaries?  One or the other can be
 # on, or both.
@@ -113,6 +114,12 @@ check test units regress: all
 regress%: all
        (cd $(CURRENT_BUILD)/test && $(MAKE) $@)
 
+dist:
+       (cd $(CURRENT_BUILD) && $(MAKE) $@)
+       $(install_sh) \
+               $(CURRENT_BUILD)/$(distdir).tar.gz \
+               "`pwd`"
+
 TAGS tags:
        (cd $(CURRENT_BUILD) && $(MAKE) $@)
        ln -sf $(CURRENT_BUILD)/TAGS .