diff options
Diffstat (limited to 'awklib/eg/prog/extract.awk')
| -rw-r--r-- | awklib/eg/prog/extract.awk | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/awklib/eg/prog/extract.awk b/awklib/eg/prog/extract.awk index f30ef458..65f3f2d2 100644 --- a/awklib/eg/prog/extract.awk +++ b/awklib/eg/prog/extract.awk @@ -1,7 +1,6 @@ # extract.awk --- extract files and run programs # from texinfo files -# Arnold Robbins, arnold@gnu.org, Public Domain -# May 1993 +# Arnold Robbins, arnold@gnu.org, Public Domain, May 1993 BEGIN { IGNORECASE = 1 } |