#!/bin/sh
if [ -e $1 ] ; then
    pp -d db/$DB -f $1
fi
