#! /bin/sh
cat ../helpfile
echo
