#!/usr/bin/gawk -f
#Extract the comments in a PGM file
BEGIN {
  fname=argv[0];
}

/^#/ {
  print;
  next;
}

