diff options
Diffstat (limited to 'doc/gawktexi.in')
-rw-r--r-- | doc/gawktexi.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 8c9b14f6..5487bb7f 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -17274,7 +17274,7 @@ sequences of random numbers. However, nothing requires that an considerably better than @code{rand()}, to produce random numbers. From @value{PVERSION} 4.1.4, courtesy of Nelson H.F.@: Beebe, @command{gawk} uses the Bayes-Durham shuffle buffer algorithm which considerably extends -the period the random number generator, and eliminates short-range and +the period of the random number generator, and eliminates short-range and long-range correlations that might exist in the original generator.} Often random integers are needed instead. Following is a user-defined function @@ -28421,7 +28421,7 @@ When called this way, @command{gawk} ``pretty-prints'' the program into @quotation NOTE Once upon a time, the @option{--pretty-print} option would also run -your program. This is is no longer the case. +your program. This is no longer the case. @end quotation @cindex profiling, pretty-printing, difference with |