#!/bin/bash

if [ "$1" ==  "--help" ]; then
	echo "detects problems while building the documentation"
	exit 1
fi

# grep for errors, then filter fake ones

egrep -v 'Sum of fixed column widths|Areas pending' ../docs/build.log \
	|egrep -1 'ERROR|WARNING'