diff options
author | John Gilmore <gnu@cygnus> | 1992-10-26 19:10:23 +0000 |
---|---|---|
committer | John Gilmore <gnu@cygnus> | 1992-10-26 19:10:23 +0000 |
commit | 83bfcbaedba78dd881dcb1e96167bfbacadb7dc9 (patch) | |
tree | db4ef73388693c0e283776749371a3cb400bfad5 /gdb | |
parent | 22f5b2b9e5d0ae5302a897ec12f69027fd900f6e (diff) | |
download | gdb-83bfcbaedba78dd881dcb1e96167bfbacadb7dc9.zip gdb-83bfcbaedba78dd881dcb1e96167bfbacadb7dc9.tar.gz gdb-83bfcbaedba78dd881dcb1e96167bfbacadb7dc9.tar.bz2 |
Fix typo, reported by Karl Berry.
Diffstat (limited to 'gdb')
-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 |