[bug-gawk] Minor documentation errata

[Manuel Collado]

The gawk manual says:

-----------------
2.7 Including Other Files Into Your Program
[...]
Let’s see an example. We’ll start with two (trivial) awk scripts, namely 
test1 and test2. Here is the test1 script:

BEGIN {
    print "This is script test1."
}

and here is test2:

@include "test1"
BEGIN {
    print "This is script test2."
}

Running gawk with test2 produces the following result:

$ gawk -f test2
-| This is file test1.
-| This is file test2.
------------------

I think the expected output should be:

-| This is script test1.
-| This is script test2.

Right? And the same for the additional example.

Regards.
--
Manuel Collado - http://lml.ls.fi.upm.es/~mcollado