diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-06 19:08:31 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-06 19:08:31 +0300 |
| commit | 779ba383895f791a8437ecbcb602c8c633e12fc1 (patch) | |
| tree | 2a14c05a5d2b9a11696e642154d4477a4b8ff347 /doc/gawktexi.in | |
| parent | 2a1cc6b172b589d64166c2350d85f512c648a2ca (diff) | |
| download | egawk-779ba383895f791a8437ecbcb602c8c633e12fc1.tar.gz egawk-779ba383895f791a8437ecbcb602c8c633e12fc1.tar.bz2 egawk-779ba383895f791a8437ecbcb602c8c633e12fc1.zip | |
Typo fixes in manual.
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 |