#! /bin/sh
# Wrap all files in the current directory in HTML.  Assume they are
# plain text with tabs based on 8 chars.

# Input: * .texthtml/*.html
# dnw 20Aug02

for file in *
do
  text2html $file
done