#
# awk script to reformat GMT palette into IDL type
#
{ if ($1 != "#")
  { if ($1 != "B" && $1 != "F" )
	{printf ("%.3f %d %d %d \n",$1,$2,$3,$4)}
  }
}