#!/bin/sh name=$1 @BIN/ly-dvi \$name.ly dvips -E \$name.dvi -o \$name.eps convert \$name.eps \$name.gif