texis.awk 316 B

123456789101112131415161718192021
  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. }