summaryrefslogtreecommitdiff
path: root/doc/tools/show_latex_messages
blob: 8f1470ec1bdf2ed48bd8a87ddbdb75c5d7ad1989 (plain)
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