#!/bin/sh
# use this script to update so you do don't
# forget to copy some things to the web page.
#
cp BUGS ovweb/file
cp CHANGELOG ovweb/file
cp TODO ovweb/file
cvs commit