#!/bin/bash

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

# grep for errors, then filter fake ones

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