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/latex_filter | 43 -------------------------------------------
 1 file changed, 43 deletions(-)
 delete mode 100755 doc/tools/latex_filter

(limited to 'doc/tools/latex_filter')

diff --git a/doc/tools/latex_filter b/doc/tools/latex_filter
deleted file mode 100755
index 044a8642..00000000
--- a/doc/tools/latex_filter
+++ /dev/null
@@ -1,43 +0,0 @@
-#!/bin/sh
-
-# First argument is the number of lines to treat
-# Second argument is optional and, if it is "no", overfull are not displayed
-
-i=$1
-nooverfull=$2
-error=0
-verbose=0
-chapter=""
-file=""
-while : ; do 
-  read -r line; 
-  case $line in
-    "! "*)
-      echo $line $file;
-      error=1
-      verbose=1
-      ;;
-    "LaTeX Font Info"*|"LaTeX Info"*|"Underfull "*)
-      verbose=0
-      ;;
-    "Overfull "*)
-      verbose=0
-      if [ "$nooverfull" != "no" ]; then echo $line $file; fi
-      ;;
-    "LaTeX "*)
-      verbose=0
-      echo $line $chapter
-      ;;
-    "["*|"Chapter "*)
-      verbose=0
-      ;;
-    "(./"*)
-      file="(file `echo $line | cut -b 4- | cut -d' ' -f 1`)"
-      verbose=0
-      ;;
-    *)
-      if [ $verbose = 1 ]; then echo $line; fi
-  esac;
-  if [ "$i" = "0" ]; then break; else i=`expr $i - 1`; fi; 
-done
-exit $error
-- 
cgit v1.2.3