# Last edited on 2000-08-17 21:07:15 by stolfi all: cat unicamp.map extracamp.map | process-map -v outName=extracamp plot-map 450 700 50 350 extracamp > extracamp.gif