From 8f4d4c66134804bbf2d2fe65c893b68387272d31 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sat, 10 Jul 2010 15:57:24 +0100
Subject: Remove non-DFSG contents

---
 doc/tools/show_latex_messages | 8 --------
 1 file changed, 8 deletions(-)
 delete 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
deleted file mode 100755
index 8f1470ec..00000000
--- a/doc/tools/show_latex_messages
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/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