diff options
author | Richard M. Stallman <rms@gnu.org> | 1994-08-21 18:02:21 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1994-08-21 18:02:21 +0000 |
commit | 9bfc5adef28a9c9982436e36b4731e21a0e08f1f (patch) | |
tree | bc8483c34377a1bc9afa4b59f479d41341dc5ef9 /make-dist | |
parent | 1fd9d751d418a86468cf823316c5b0460d277ee2 (diff) | |
download | emacs-9bfc5adef28a9c9982436e36b4731e21a0e08f1f.tar.gz |
(src/m, src/s): Put *.inp in distribution.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 5 |
1 files 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 |