#! /bin/sh
# Wrap a plain text file in HTML.  Assume tabs based on 8 chars.
# Input: $1  Output: .texthtml/$1.html
# dnw 20Aug02

echo "<html><head><title>"$1"</title></head>" >.texthtml/$1.html
echo "<body bgcolor=#FFFFFF><pre>" >>.texthtml/$1.html
expand -8 $1 | \
  sed -e 's/\&/\&amp;/g' -e 's/</\&lt;/g' -e 's/>/\&gt;/g' >>.texthtml/$1.html
echo "</body></html>" >>.texthtml/$1.html