diff options
Diffstat (limited to 'filters/text/x-tex_filter')
| -rwxr-xr-x | filters/text/x-tex_filter | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/filters/text/x-tex_filter b/filters/text/x-tex_filter deleted file mode 100755 index 72f9ae64e..000000000 --- a/filters/text/x-tex_filter +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh -UNTEX=`which untex` -if [ -n "$UNTEX" ]; then nice -n19 $UNTEX "$1" > "$2"; -else cat "$1" > "$2"; -fi |