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

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