XXX Remove nawk(1)

*** 52,62 ****
  extract_section()
  {
          typeset skel="$1"
          typeset secname="$2"
  
!         nawk <$skel -v name=$secname -v skel=$skel '
              /\/\* [^ ]* [^ ]* \*\// && $3 == name {
                  if ($2 == "BEGIN") {
                          printing = 1;
                          printf("# %d \"%s\"\n", NR + 1, skel);
                  } else {
--- 52,62 ----
  extract_section()
  {
          typeset skel="$1"
          typeset secname="$2"
  
!         /usr/xpg4/bin/awk <$skel -v name=$secname -v skel=$skel '
              /\/\* [^ ]* [^ ]* \*\// && $3 == name {
                  if ($2 == "BEGIN") {
                          printing = 1;
                          printf("# %d \"%s\"\n", NR + 1, skel);
                  } else {