diff options
Diffstat (limited to 'sandbox/grubert/check')
-rw-r--r-- | sandbox/grubert/check | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/sandbox/grubert/check b/sandbox/grubert/check deleted file mode 100644 index bf46570f6..000000000 --- a/sandbox/grubert/check +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/sh - -EXT=tex -REF_DIR=test -if [ "$1" = "man" ] ;then - REF_DIR=man.test - EXT=man - shift -fi - -if [ "$1" = "create" ] ; then - CREATE=1 -fi - -TMPF=.diff.tmp -for F in `ls $REF_DIR/*.txt*.$EXT` ; do - diff -s -u $F.ref $F > $TMPF - if test $? -gt 0 ; then - less $TMPF - if [ "$CREATE" == "1" ] ; then - mv $F $F.ref - fi - fi -done -rm $TMPF |