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 | 966beb0fe763fb4d82fad3e07d6d32a449df1025 (patch) | |
| tree | 0f433c54730233a0251233772ea07c7523551c3f /gdb/README | |
| parent | e23194cb3cf1961121ff07878f0e1100188f036b (diff) | |
| download | binutils-gdb-966beb0fe763fb4d82fad3e07d6d32a449df1025.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 |