#! /usr/bin/gawk -f
# Last edited on 2002-05-04 18:29:00 by stolfi

/^set/ { 
  gsub(/[=]/, " = ", $0); n = $2; v = $4;
  printf "%s=%s; export %s;\n", n, v, n;
}