#! /bin/sh
#
# pr2html	--- produce an indexed list of files in HTML
#
# Author: Oscar Nierstrasz (June 25, 1993)

u='Usage: pr2html [t=<title>] <file> ...'

case $# in
0 )	echo "$u" 1>& 2; exit ;;
esac
title="UNTITLED FILE LISTING"

for arg
do
	case $arg in
	t=* )	title=`echo "$arg" | sed 's/t=//'` ;;
	-* )	echo "$u" 1>& 2; exit ;;
	* )	files="$files $arg" ;;
	esac
done

echo "<TITLE>$title</TITLE>"
echo "<H1>$title</H1>"

echo "<UL>"
for f in $files
do
	echo "<LI><A HREF=\"#$f\">$f</A>"
done
echo "</UL>"

for f in $files
do
	echo "<H2><A NAME=\"$f\">$f</A></H2>"
	pre $f
done