#!/bin/sh
#
# mkFileJumpPage - create a html "jump" page given a list of filenames on stdin
#
# A jump page is just a bunch of links to the named files

echo "<HTML>"
echo "<HEAD>"
echo "</HEAD>"
echo "<BODY>"
echo "<PRE>"

while read F
do
    echo "<A HREF=\"$F\">$F</A>"
done

echo "</PRE>"
echo "</BODY>"
echo "</HTML>"

