diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2017-09-13 21:50:12 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-09-13 21:50:12 +0300 |
| commit | 45b363502f438604737f19b639f7dc1433a022f2 (patch) | |
| tree | 7e7f7eda648083444a97ef1fdd1f5d596e3ef2ad /doc/gawk.texi | |
| parent | 94ca7f779925580a8bbc5864316f1625a3317332 (diff) | |
| download | egawk-45b363502f438604737f19b639f7dc1433a022f2.tar.gz egawk-45b363502f438604737f19b639f7dc1433a022f2.tar.bz2 egawk-45b363502f438604737f19b639f7dc1433a022f2.zip | |
Small fixes to doc for use with info command.
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index e2d23321..5512179b 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -16,7 +16,7 @@ @end direntry @dircategory Individual utilities @direntry -* awk: (gawk)Invoking gawk. Text scanning and processing. +* awk: (gawk)Invoking Gawk. Text scanning and processing. @end direntry @c Enable better indexing, requires texindex from Texinfo 6 or later. |