home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / gnu / gawk213b / include.awk < prev    next >
Encoding:
Text File  |  1993-07-29  |  278 b   |  14 lines
  1. # input file should have lines which start with "@incl" followed by
  2. # a name of a file to include
  3. {
  4.     if ((NF == 2) && ($1 == "@incl")) {
  5.         print "  -- included file --  ", $2
  6.         while ((getline line < $2) > 0)
  7.             print line
  8.         close ($2)
  9.         printf "\t***\n"
  10.     } else {
  11.         print
  12.     }
  13. }
  14.