#!/bin/csh
echo converting $1 to $1.ug
nawk -f netlib_to_ugv.awk < $1 > $1.ug
nawk -f netlib_to_ugf.awk < $1 >> $1.ug
