#
# this script creates an index of M-files for the archive server.
# Do not remove this file, or Index.
(ls -l *.m | awk ' BEGIN {printf("%6s %7s %10s\n\n", "SIZE", "DATE", "NAME")} \
{printf("%6ld",$4); print " ", $5, $6, $7, $8}' >! Index; \
echo "\
end of index">> Index) >& /dev/null
