# Last edited on 2004-02-05 06:31:34 by stolfi

GETTING THE FILES

  set imp = ${STOLFIHOME}/IMPORT/texts/geez/GloryOfTheKingsGeez
  cat ${imp}/kn.htm \
    | tr -d '\015' \
    | remove-html-junk-g1 \
    | sed -e 's/^ *$//g' \
    | gawk \
        ' BEGIN{ ne=0; nb=0; } \
          /^ *[=] *$/{ ne++; nb++; next; } \
          /^ *$/ { nb++; next; } \
          /./ { \
            if(lin\!=""){ \
              out(); if (nb > 0) { printf "\n"; } \
            } \
            lin = $0; nb = 0; ne = (lin ~ /[=] *$/); \
            next; \
          } \
          END{ out(); } \
          function out() { \
            printf "%s", lin; \
            if (ne>0) { printf "\n  ="; } \
            if (ne>1) { printf " {×%d}", ne; } \
            printf "\n"; \
          } \
        ' \
    | cat -s \
    > main.htm