#! /bin/gawk -f
# Last edited on 2002-01-02 03:58:17 by stolfi

# Preprocess the "Glory of the Kings" in Ge'ez
# For now, just remove editorial braces "[]"

BEGIN {
  abort = -1;
}

(abort >= 0) { exit abort; }

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

//{ 
  gsub(/[\[\]]/, "");
  print;
}

END {
  if (abort >= 0) { exit abort; }
}

function arg_error(msg)
{
  printf "%s\n", msg > "/dev/stderr";
  printf "usage: %s\n", usage > "/dev/stderr";
  abort = 1;
  exit 1;
}

function data_error(msg)
{
  printf "line %d: %s\n", FNR, msg > "/dev/stderr";
  abort = 1; exit 1;
}