Fix typo, reported by Karl Berry.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 1cc59d9e3d2ceff2812a9729353dcc3fdaea9ea4..2bdbe8698f3486df6951304d8c632eeeb98822d7 100644 (file)
--- 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 41e342fb4ff42ee7e43e29249858aac3c4849654..a460f7cfa7669a2b16ef5f80640ee3658e34273d 100644 (file)
--- 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