create out/VERSION as part of 'make dist'

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 50283585f3a13d0c6475b6fbda667b4c733d128f..58197ab20a9247b03adbd1ed27051352fac58090 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -32,7 +32,10 @@ INSTALLATION_FILES=$(config_make) VERSION
 STEPMAKE_TEMPLATES=toplevel po install
 include $(depth)/make/stepmake.make
 
-local-dist: dist-toplevel-txt-files
+local-dist: dist-toplevel-txt-files make-dist-version
+
+make-dist-version:
+       echo $(TOPLEVEL_VERSION) > $(outdir)/VERSION
 
 dist-toplevel-txt-files:
        -mkdir -p $(distdir)