diff options
| -rw-r--r-- | doc/ReferenceManual.pdf | bin | 792986 -> 793021 bytes | |||
| -rw-r--r-- | doc/ReferenceManual/UtilReference.tex | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/ReferenceManual.pdf b/doc/ReferenceManual.pdf Binary files differindex ac3e1c37..134f2441 100644 --- a/doc/ReferenceManual.pdf +++ b/doc/ReferenceManual.pdf diff --git a/doc/ReferenceManual/UtilReference.tex b/doc/ReferenceManual/UtilReference.tex index 70b9e82e..0c6cba98 100644 --- a/doc/ReferenceManual/UtilReference.tex +++ b/doc/ReferenceManual/UtilReference.tex @@ -4244,7 +4244,7 @@ assign & whitespace* key whitespace* = whitespace* value delimiter \\ key & any string not containing \code{'/'} or \code{'='} or whitespace\\ value & array $\big|$ int\_value $\big|$ real\_value $\big|$ string\_value\\ array & \{ int\_value* \} $\big|$ \{ real\_value \} \\ -int\_value & anything recognized as a valid integer by strdol(3) +int\_value & anything recognized as a valid integer by strtol(3) in base 10 \\ real\_value & anything not recognized as a valid integer by strtol(3) but recognized as valid by strdod(3) \\ |