doc/tools/show_latex_messages


1
2
3
4
5
6
7
8

#!/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