manual/texis.awk

   1 BEGIN {
   2     print "texis = \\";
   3     for(x = 1; x < ARGC; x++)
   4     {
   5         input[0] = ARGV[x];
   6         print ARGV[x], "\\";
   7         for (s = 0; s >= 0; s--)
   8         {
   9             while ((getline < input[s]) > 0)
  10             {
  11                 if ($1 == "@include")
  12                 {
  13                     input[++s] = $2;
  14                     print $2, "\\";
  15                 }
  16             }
  17             close(input[s]);
  18         }
  19     }
  20     print "";
  21 }