#!/bin/sh

FILE=jacobi_jupiter
./$FILE.plt
patch $FILE.eps $FILE.eps.diff
epstopdf_embed $FILE.eps

