diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2015-03-31 22:27:48 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2015-03-31 22:27:48 +0300 |
commit | 9730efeabb2116fdf7e93b4553825ba147f5f523 (patch) | |
tree | 6d7c99419b2b7cde3e4a118fc40f0f2122944fd3 /doc/gawktexi.in | |
parent | c3d61778cf747143535320affee0612c4c6d4eb8 (diff) | |
download | egawk-9730efeabb2116fdf7e93b4553825ba147f5f523.tar.gz egawk-9730efeabb2116fdf7e93b4553825ba147f5f523.tar.bz2 egawk-9730efeabb2116fdf7e93b4553825ba147f5f523.zip |
Small doc fix.
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 8e7d4010..706754e2 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -16273,8 +16273,8 @@ function randint(n) @end example @noindent -The multiplication produces a random number greater than zero and less -than @code{n}. Using @code{int()}, this result is made into +The multiplication produces a random number greater than or equal to +zero and less than @code{n}. Using @code{int()}, this result is made into an integer between zero and @code{n} @minus{} 1, inclusive. The following example uses a similar function to produce random integers |