diff options
Diffstat (limited to 'doc/gawktexi.in')
-rw-r--r-- | doc/gawktexi.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 9234232f..e2e2a034 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -34006,8 +34006,8 @@ The record consists of three fields. The first two are the inode number and the @value{FN}, separated by a forward slash character. On systems where the directory entry contains the file type, the record has a third field (also separated by a slash) which is a single letter -indicating the type of the file. The letters are file types are shown -in @ref{table-readdir-file-types}. +indicating the type of the file. The letters and their corresponding file +types are shown in @ref{table-readdir-file-types}. @float Table,table-readdir-file-types @caption{File Types Returned By The @code{readdir} Extension} @@ -35688,7 +35688,7 @@ The @option{-l} and @option{--load} options load compiled dynamic extensions. The @option{-M} and @option{--bignum} options enable MPFR. @item -The @option{-o} only does pretty-printing. +The @option{-o} option only does pretty-printing. @item The @option{-p} option is used for profiling. |