#! /bin/bash
# Last edited on 2003-07-21 21:11:16 by stolfi

gawk \
    ' /^ *([%]|$)/{ next; } \
      /^[@]/ { if (e != "") { print e; e = ""; } } \
      // { e = ((e == "" ? "" : (e "¢")) $0); next; } \
    ' \
  | sort \
  | tr '¢' '\012'