Mention how to make the PDF version of the manual.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 10442bf2bc8747ba2e81276dcdf9c3c349bf240f..93f395bc6c9e6f65920f2b1a81af63e06999d25c 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 707b23c1afb738ab0c54f7ca6a86250a7bb17258..5b05b41be74f4e1ff42e4d9ed59319ff41b16b80 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