From 966beb0fe763fb4d82fad3e07d6d32a449df1025 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Wed, 25 Jul 2001 14:58:38 +0000 Subject: Mention how to make the PDF version of the manual. --- gdb/README | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'gdb/README') diff --git a/gdb/README b/gdb/README index 707b23c..5b05b41 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 -- cgit v1.1