From c604e53a4578107fd7c421da79d515144bcf0440 Mon Sep 17 00:00:00 2001
From: Paul Smith <psmith@gnu.org>
Date: Sun, 3 May 2020 10:21:39 -0400
Subject: [PATCH] * mainMakefile: Check that INSTALL exists in the dist file

For some reason the INSTALL file symlinked to gnulib was omitted from
the 4.3 release package: I can't reproduce this but check for it.
---
 maintMakefile | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/maintMakefile b/maintMakefile
index f72f89ce..5b30c257 100644
--- a/maintMakefile
+++ b/maintMakefile
@@ -227,6 +227,26 @@ get-doc/make-stds.texi get-doc/fdl.texi:
 	  && $(move_if_change)
 
 
+# ---------------------------- #
+# Extra configuration checks.  #
+# ---------------------------- #
+
+# When I released 4.3 somehow the INSTALL file was missing.
+# When I tried to build it again, it was there.  I have no idea what happened
+# but add a new check to be sure it doesn't happen again.
+mk_dist_files = INSTALL
+
+dist: mk-distcheck
+
+.PHONY: mk-distcheck
+mk-distcheck: distdir
+	@echo "Checking for extra installed files..."
+	for fn in $(mk_dist_files); do \
+	    test -f '$(distdir)'/"$$fn" \
+	        || { echo "Missing dist file: $$fn"; exit 1; }; \
+	done; true
+
+
 # ---------------------------------- #
 # Alternative configuration checks.  #
 # ---------------------------------- #