[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gawk manual missing index entry for "do" statement, etc.
|
From: |
Eli Zaretskii |
|
Subject: |
Re: gawk manual missing index entry for "do" statement, etc. |
|
Date: |
Thu, 14 Jun 2001 11:03:31 +0300 |
On 14 Jun 2001, Dan Jacobson wrote:
> gawk manual missing index entry for "do" statement. It has got it own
> personal Info node, but no personal index entry.
Doesn't "i do-while RET" work for you? It does for me, at least in
the manual shipped with (the latest) Gawk 3.1.0.
> By the way there is a table in the manual
> +----------------------------------------------
> | STRING NUMERIC STRNUM
> --------+----------------------------------------------
> |
> STRING | string string string
> |
> NUMERIC | string numeric numeric
> |
> STRNUM | string numeric numeric
> --------+----------------------------------------------
> that looks weird on my terminal, probably due to tabs.
Again, in the manual from Gawk 3.1.0 distro, there are no tabs, and
the table looks perfectly okay.