# Run the command
#   source script
# in order to obtain a file "out" that has a script of the demo
# (along with some timing information and such at the top and bottom).

cat /etc/motd > out
echo "" >> out
date >> out
echo "" >> out
echo '(load "run-noninteractive.lisp")' | nqthm-1992 >> out
echo "" >> out
date >> out