#!/bin/sh

if [ "$1" = "-no-overfull" ]; then
  cat $2 | ../tools/latex_filter `cat $2 | wc -l` no
else
  cat $1 | ../tools/latex_filter `cat $1 | wc -l` yes
fi