summaryrefslogtreecommitdiff
path: root/texmf-dist/source/latex/lucold/maketfm.awk
diff options
context:
space:
mode:
Diffstat (limited to 'texmf-dist/source/latex/lucold/maketfm.awk')
-rw-r--r--texmf-dist/source/latex/lucold/maketfm.awk40
1 files changed, 40 insertions, 0 deletions
diff --git a/texmf-dist/source/latex/lucold/maketfm.awk b/texmf-dist/source/latex/lucold/maketfm.awk
new file mode 100644
index 00000000..a02d5d68
--- /dev/null
+++ b/texmf-dist/source/latex/lucold/maketfm.awk
@@ -0,0 +1,40 @@
+# File: maketfm.awk
+# $Id: maketfm.awk,v 1.1 1999/05/25 12:16:26 loreti Exp $
+#
+# Author: Maurizio Loreti, aka MLO or (HAM) I3NOO
+# Work: University of Padova - Department of Physics
+# Via F. Marzolo, 8 - 35131 PADOVA - Italy
+# Phone: +39 (049) 827-7216 FAX: +39 (049) 827-7102
+# EMail: loreti@padova.infn.it
+# WWW: http://wwwcdf.pd.infn.it/~loreti/mlo.html
+#
+#########################################################################
+#
+# This awk procedure relies on the sequence (CHARACTER C 0 ...) ...
+# (CHARACTER C 9 ...) being contiguous, and immediately followed by
+# (CHARACTER O 72 ...) in every .pl file. It just reads from "infile1"
+# until (CHARACTER C 0 ...), inserts the sequence (CHARACTER C 0 ...) ...
+# (CHARACTER C 9 ...) from "infile2", then what follows starting from
+# (CHARACTER O 72 ...) still from "infile1".
+
+BEGIN {
+ out = 1;
+
+ while (getline <infile1 >0) {
+ if ($1 == "(CHARACTER" && $2 == "O" && $3 == "72") out = 1;
+ if ($1 == "(CHARACTER" && $2 == "C" && $3 == "0") {
+ out = 0;
+ while (getline <infile2 >0) {
+ if ($1 == "(CHARACTER" && $2 == "C" && $3 == "0") out = 1;
+ if ($1 == "(CHARACTER" && $2 == "O" && $3 == "72") {
+ close(infile2);
+ out = 0;
+ break;
+ }
+ if (out) print;
+ }
+ }
+ if (out) print;
+ }
+ close(infile1);
+}