From 3e96002677226c0cdaa8f355938a76cfb37a722a Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 14 Oct 2010 17:51:11 +0200
Subject: Imported Upstream version 8.3

---
 doc/tools/show_latex_messages | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 doc/tools/show_latex_messages

(limited to 'doc/tools/show_latex_messages')

diff --git a/doc/tools/show_latex_messages b/doc/tools/show_latex_messages
new file mode 100755
index 00000000..8f1470ec
--- /dev/null
+++ b/doc/tools/show_latex_messages
@@ -0,0 +1,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
+
-- 
cgit v1.2.3