Mention how to make the PDF version of the manual.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 10442bf..93f395b 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,7 @@
 2001-07-25  Eli Zaretskii  <eliz@is.elta.co.il>
 
+       * README: Mention how to make gdb.pdf.
+
        * NEWS: Update.
 
 2001-07-24  Stephen P. Smith <ischis2@home.com>

diff --git a/gdb/README b/gdb/README
index 707b23c..5b05b41 100644 (file)
--- a/gdb/README
+++ b/gdb/README
@@ -128,7 +128,14 @@ format.  On its own, TeX cannot read, much less typeset a Texinfo file.
 and print this manual.  First switch to the the `gdb' subdirectory of
 the main source directory (for example, to `gdb-5.0/gdb') and then type:
 
-     make gdb.dvi
+     make doc/gdb.dvi
+
+   If you prefer to have the manual in PDF format, type this from the
+`gdb/doc' subdirectory of the main source directory:
+
+     make gdb.pdf
+
+For this to work, you will need the PDFTeX package to be installed.
 
 
 Installing GDB