# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1534414071 14400
# Node ID 68b3f1ccccacab2e27068d59bbb6583a450f9368
# Parent  ab4099a3573e0723cf82b7f5373c5a4179820a02
if available, use HG-ID in dist-file name

diff -r ab4099a3573e -r 68b3f1ccccac Makefile.in
--- a/Makefile.in	Thu Aug 16 06:00:42 2018 -0400
+++ b/Makefile.in	Thu Aug 16 06:07:51 2018 -0400
@@ -1063,7 +1063,9 @@
 PACKAGE_VERSION := @PACKAGE_VERSION@
 PACKAGE_TARNAME := @PACKAGE_TARNAME@
 
-distdir := $(PACKAGE_TARNAME)-$(PACKAGE_VERSION)
+DIST_FILE_VERSION := $(shell if [ -f HG-ID ]; then cat HG-ID; else echo $(PACKAGE_VERSION); fi)
+
+distdir := $(PACKAGE_TARNAME)-$(DIST_FILE_VERSION)
 
 .PHONY: dist
 dist: