#!/bin/sh
PROGNAME=`basename $0`
VERSION="MARKER_PATCHLEVEL"
# $Header: /diskb/home/alexis/dev/support/bin/RCS/txt2html,v 1.4 1999/01/06 18:11:12 alexis Exp $

while [ "X$1" != X ]; do
    case "$1" in
        -V) echo "$PROGNAME version $VERSION" 
            exit 0 ;;
        -t) TITLE="$2"
            shift ;;
        -*) usage ;;
        *)  break ;;
    esac
    shift
done

echo "<html>"

if [ "X$TITLE" != X ]; then
    echo "<head>"
    echo "<title>$TITLE</title>"
    echo "</head>"
fi

echo "<body text=\"#000000\" bgcolor=\"#ffffff\" link=\"#000000\" vlink=\"#000000\" alink=\"#ff0000\">"

echo "<pre>"
cat "$@"
echo "</pre>"
echo "</body>"
echo "</html>"
