diff options
author | 2011-12-25 13:22:26 +0100 | |
---|---|---|
committer | 2011-12-25 13:22:26 +0100 | |
commit | 5fe4ac437bed43547b3695664974f492b55cb553 (patch) | |
tree | bd16d3110326d9cacf9cd20b6606e32428f4012e /doc/tools/latex_filter | |
parent | 300293c119981054c95182a90c829058530a6b6f (diff) | |
parent | aa33547c764a229e22d323ca213d46ea221b903e (diff) |
Remove non-DFSG contentsupstream/8.3.pl3+dfsg
Diffstat (limited to 'doc/tools/latex_filter')
-rwxr-xr-x | doc/tools/latex_filter | 43 |
1 files changed, 0 insertions, 43 deletions
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 |