diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2001-07-25 14:58:38 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2001-07-25 14:58:38 +0000 |
| commit | 7086fd6f169d5aae0af2c7b722e69fb0728e367d (patch) | |
| tree | 875dcc7f5454f127a337a0f2fcef87edb73861f8 | |
| parent | 814cf0ff86655cd8a9c6ce4f48df7cc4e5378473 (diff) | |
| download | gdb-7086fd6f169d5aae0af2c7b722e69fb0728e367d.tar.gz | |
Mention how to make the PDF version of the manual.
| -rw-r--r-- | gdb/ChangeLog | 2 | ||||
| -rw-r--r-- | gdb/README | 9 |
2 files changed, 10 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 10442bf2bc8..93f395bc6c9 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 707b23c1afb..5b05b41be74 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 |