doc/tools/show_latex_messages


1
2
3
4
5
6
7
8

#!/bin/sh

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