#!/bin/sh

if [ $TEMP ] ; then
	tmpdir=$TEMP
else
	tmpdir="/tmp"
fi
rm -f $tmpdir/oc"$1".hl
