From facbb78efa2c17a9b94cb3e7a64285057fc6219a Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Sun, 21 Aug 1994 18:02:21 +0000
Subject: [PATCH] (src/m, src/s): Put *.inp in distribution.

---
 make-dist | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/make-dist b/make-dist
index e0f6ab588ee..2d2c6576236 100755
--- a/make-dist
+++ b/make-dist
@@ -240,11 +240,12 @@ echo "Making links to \`src/bitmaps'."
 
 echo "Making links to \`src/m'."
 (cd src/m
- ln README [a-zA-Z0-9]*.h ../../${tempdir}/src/m)
+ # We call files for miscellaneous input (to linker etc) .inp.
+ ln README [a-zA-Z0-9]*.h *.inp ../../${tempdir}/src/m)
 
 echo "Making links to \`src/s'."
 (cd src/s
- ln README [a-zA-Z0-9]*.h ../../${tempdir}/src/s)
+ ln README [a-zA-Z0-9]*.h *.inp ../../${tempdir}/src/s)
 
 echo "Making links to \`lib-src'."
 (cd lib-src
-- 
2.39.5