From b51ac456e75e5a26ccc6a85e2504565c54aa2d58 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Fri, 1 Feb 2019 18:03:16 -0800
Subject: [PATCH] * make-dist: Remove references to src/stamp-h.in.

This file was removed two years ago in 2f89350.
No need to merge to master.
---
 make-dist | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/make-dist b/make-dist
index dc5bbfc78be..e8aca553343 100755
--- a/make-dist
+++ b/make-dist
@@ -327,10 +327,6 @@ if [ $update = yes ]; then
   echo "Running autoreconf"
   autoreconf -i -I m4 || { x=$?; echo Autoreconf FAILED! >&2; exit $x; }
 
-  ## Make sure src/stamp-h.in is newer than configure.ac.
-  rm -f src/stamp-h.in
-  echo timestamp > src/stamp-h.in
-
   echo "Updating Info files"
   make info
 
-- 
2.39.5