#! /usr/bin/gawk -f
# Last edited on 2004-02-04 06:07:24 by stolfi

/^ *([\#]|$)/ { print; next; }

/./ { $0 = gbspread($0); print; next; }

function gbspread(s) {
  s = gensub(/([\241-\376][\241-\376])/, "\\1 ", "g", s);
  s = gensub(/[ ]+([}]|$)/, "\\1", "g", s);
  return s;
}