From 966beb0fe763fb4d82fad3e07d6d32a449df1025 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Wed, 25 Jul 2001 14:58:38 +0000 Subject: [PATCH] Mention how to make the PDF version of the manual. --- gdb/ChangeLog | 2 ++ gdb/README | 9 ++++++++- 2 files changed, 10 insertions(+), 1 deletion(-) 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 + * README: Mention how to make gdb.pdf. + * NEWS: Update. 2001-07-24 Stephen P. Smith 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