diff options
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 1cc59d9..2bdbe86 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,7 @@ +Mon Oct 26 11:09:47 1992 John Gilmore (gnu@cygnus.com) + + * gdb.texinfo: Fix typo, reported by Karl Berry. + Fri Oct 23 00:41:21 1992 John Gilmore (gnu@cygnus.com) * gdb.texinfo: Add opcodes dir to GDB distribution description. diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 41e342f..a460f7c 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -7815,7 +7815,7 @@ If you want to typeset and print copies of this manual, you need @TeX{}, a printing program such as @code{lpr}, and @file{texinfo.tex}, the Texinfo definitions file. -@TeX{} is typesetting program; it does not print files directly, but +@TeX{} is a typesetting program; it does not print files directly, but produces output files called @sc{dvi} files. To print a typeset document, you need a program to print @sc{dvi} files. If your system has @TeX{} installed, chances are it has such a program. The precise |