summaryrefslogtreecommitdiff
path: root/gnu/lib/regex-0.12/doc/include.awk
diff options
context:
space:
mode:
authormycroft <mycroft@NetBSD.org>1993-07-18 11:19:29 +0000
committermycroft <mycroft@NetBSD.org>1993-07-18 11:19:29 +0000
commit0dbd8e640b79110e26c9ef92eb1149d9a10d3cee (patch)
tree85f68eaf40d20772dedbb0c07e6900c6b3e9c1d2 /gnu/lib/regex-0.12/doc/include.awk
parentd32ad4a14f286e5c4bb24f168550d8bfebd92833 (diff)
Clean up deleted files.
Diffstat (limited to 'gnu/lib/regex-0.12/doc/include.awk')
-rw-r--r--gnu/lib/regex-0.12/doc/include.awk19
1 files changed, 0 insertions, 19 deletions
diff --git a/gnu/lib/regex-0.12/doc/include.awk b/gnu/lib/regex-0.12/doc/include.awk
deleted file mode 100644
index a1df3f84634..00000000000
--- a/gnu/lib/regex-0.12/doc/include.awk
+++ /dev/null
@@ -1,19 +0,0 @@
-# Assume `source' is set with -vsource=filename on the command line.
-#
-/^\[\[\[/ { inclusion = $2; # name of the thing to include.
- printing = 0;
- while ((getline line < source) > 0)
- {
- if (match (line, "\\[\\[\\[end " inclusion "\\]\\]\\]"))
- printing = 0;
-
- if (printing)
- print line;
-
- if (match (line,"\\[\\[\\[begin " inclusion "\\]\\]\\]"))
- printing = 1;
- }
- close (source);
- next;
- }
- { print }