* make-dist: There are no more src/m/*.inp files.

521ee9b3 · Glenn Morris · bbf52f1e · 521ee9b3 · 521ee9b3
Commit 521ee9b3 authored May 02, 2010 by Glenn Morris
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 2 deletions

ChangeLog ChangeLog +4 -0

make-dist make-dist +1 -2

No files found.
--- a/ChangeLog
+++ b/ChangeLog
+2010-05-03  Glenn Morris  <rgm@gnu.org>
+
+	* make-dist: There are no more src/m/*.inp files.
+
 2010-05-01  Dan Nicolaescu  <dann@ics.uci.edu>

 	* configure.in (LD_SWITCH_MACHINE, ld_switch_machine): Remove, unused.

--- a/make-dist
+++ b/make-dist
@@ -469,8 +469,7 @@ echo "Making links to \`src/bitmaps'"

 echo "Making links to \`src/m'"
 (cd src/m
- # We call files for miscellaneous input (to linker etc) .inp.
- ln README [a-zA-Z0-9]*.h *.inp ../../${tempdir}/src/m)
+ ln README [a-zA-Z0-9]*.h ../../${tempdir}/src/m)

 echo "Making links to \`src/s'"
 (cd src/s