#! /usr/bin/gawk -f 
BEGIN {
  FS = ":";
  printf "# seqn file        section  L & H  text type        page  comments                      \n";
  printf "# ---- ----------  -------  -----  ---------------  ----  ------------------------------\n";
}

/./ {
  printf "# %04d %-10s  %-7s  %-2s %-2s  %-15s  %-4s  %-30s\n", $1, $2, $3, $4, $5, $6, $7, $8
  next
}