From 83bfcbaedba78dd881dcb1e96167bfbacadb7dc9 Mon Sep 17 00:00:00 2001 From: John Gilmore Date: Mon, 26 Oct 1992 19:10:23 +0000 Subject: [PATCH] Fix typo, reported by Karl Berry. --- gdb/doc/ChangeLog | 4 ++++ gdb/doc/gdb.texinfo | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 1cc59d9e3d2..2bdbe8698f3 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 41e342fb4ff..a460f7cfa76 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 -- 2.30.2