diff options
| author | mycroft <mycroft@NetBSD.org> | 1993-07-18 11:19:29 +0000 |
|---|---|---|
| committer | mycroft <mycroft@NetBSD.org> | 1993-07-18 11:19:29 +0000 |
| commit | 0dbd8e640b79110e26c9ef92eb1149d9a10d3cee (patch) | |
| tree | 85f68eaf40d20772dedbb0c07e6900c6b3e9c1d2 /gnu/lib/regex-0.12/doc/include.awk | |
| parent | d32ad4a14f286e5c4bb24f168550d8bfebd92833 (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.awk | 19 |
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 } |
