awk routines for plotting sets of .eps files
Tim Mitchell, 25.2.04

These little programs (see gv.awk) are useful when you want to
display the .eps files resulting from plothomog.pro for a
single station, without writing lots of ghostvoew commands/