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