diff options
| -rw-r--r-- | doc/gawk.texi | 2 | ||||
| -rw-r--r-- | doc/gawktexi.in | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index ee5c2323..a2db0f5a 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -16338,7 +16338,7 @@ Octal and hexadecimal constants (@pxref{Nondecimal-numbers}) @end ifnotdocbook @ifdocbook -(covered in @pref{Nondecimal-numbers}) +(covered in @ref{Nondecimal-numbers}) @end ifdocbook are converted internally into numbers, and their original form is forgotten. This means, for example, that @code{array[17]}, diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 534b9e96..a6865ee5 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -15621,7 +15621,7 @@ Octal and hexadecimal constants (@pxref{Nondecimal-numbers}) @end ifnotdocbook @ifdocbook -(covered in @pref{Nondecimal-numbers}) +(covered in @ref{Nondecimal-numbers}) @end ifdocbook are converted internally into numbers, and their original form is forgotten. This means, for example, that @code{array[17]}, |