#!/bin/sh
if [ "$1" != "" ]; then
  foo="if=$1"
else
  foo=""
fi
(dd ${foo} bs=128 skip=1 | /big/wais/bin/picttoppm | \
/big/wais/bin/ppmtogif > $1.tmp; mv $1.tmp $1; \
/big/wais/bin/xv $1 >/dev/null) 2>/dev/null
