diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 10442bf2bc..93f395bc6c 100644
--- 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 707b23c1af..5b05b41be7 100644
--- 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