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 /gdb/README | |
| parent | 814cf0ff86655cd8a9c6ce4f48df7cc4e5378473 (diff) | |
| download | gdb-7086fd6f169d5aae0af2c7b722e69fb0728e367d.tar.gz | |
Mention how to make the PDF version of the manual.
Diffstat (limited to 'gdb/README')
| -rw-r--r-- | gdb/README | 9 |
1 files changed, 8 insertions, 1 deletions
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 |