# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 777492141 0
# Node ID f7ae124181cda773dd8760f4ef6c934242e1b616
# Parent  e4f634a144418e826a352760577cb25db413cfbe
(src/m, src/s): Put *.inp in distribution.

diff -r e4f634a14441 -r f7ae124181cd make-dist
--- a/make-dist	Sun Aug 21 17:39:15 1994 +0000
+++ b/make-dist	Sun Aug 21 18:02:21 1994 +0000
@@ -240,11 +240,12 @@
 
 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