From c7a0e4b598a39084c288f975a59549b6068051cf Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Fri, 3 Oct 2014 12:51:57 +0300 Subject: Fix EMRED. --- doc/gawk.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/gawk.texi') diff --git a/doc/gawk.texi b/doc/gawk.texi index 1e052502..d8ebb0b1 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -27459,9 +27459,9 @@ using regular pipes. @cindex @code{EMISTERED} @ifnotdocbook @quotation -@code{EMISTERED}:@* +@code{EMRED}:@* @ @ @ @ @i{A host is a host from coast to coast,@* -@ @ @ @ and no-one can talk to host that's close,@* +@ @ @ @ and nobody talks to a host that's close,@* @ @ @ @ unless the host that isn't close@* @ @ @ @ is busy, hung, or dead.} @author Mike O'Brien (aka Mr.@: Protocol) -- cgit v1.2.3