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