LOGFILE=$(mktemp)
$PYTHON ../rubber.py $VERBOSE doc |& tee "${LOGFILE}"

# syntax error in metapost; rubber should parse the logfile and report the location.
EXPECTED_ERROR="metapost.mp:3"
if ! grep -qF "${EXPECTED_ERROR}" "${LOGFILE}"; then
    echo ERROR: expected error message \"${EXPECTED_ERROR}\" not reported by Rubber
    exit 1
fi
rm "${LOGFILE}"

$PYTHON ../rubber.py $VERBOSE --clean doc
