#!/bin/sh
NAME=$HOME/tmp$$.pnm
while [ $# -gt 0 ] ; do
	(anytopnm <$1 >$NAME && xli -dispgamma 1.0 $NAME) 2>/dev/null
	rm -f $NAME
	shift
done