summaryrefslogtreecommitdiff
path: root/gcc/doc/makefile.texi
diff options
context:
space:
mode:
authorbrooks <brooks@138bc75d-0d04-0410-961f-82ee72b054a4>2006-10-16 19:51:55 +0000
committerbrooks <brooks@138bc75d-0d04-0410-961f-82ee72b054a4>2006-10-16 19:51:55 +0000
commitbf8eaea991938663bb6d60d9c926cce24999f7de (patch)
tree74fe6b2390e9174079454f7ba3c933dbabdd89e8 /gcc/doc/makefile.texi
parent5c61fcb623800e3e47e76ebb5c0cb7b4b1164f2b (diff)
downloadgcc-bf8eaea991938663bb6d60d9c926cce24999f7de.tar.gz
* doc/sourcebuild.texi, doc/makefile.texi, doc/install.texi:
Added mention of "make pdf" target, and Texinfo requirements for same. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@117792 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc/makefile.texi')
-rw-r--r--gcc/doc/makefile.texi3
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/doc/makefile.texi b/gcc/doc/makefile.texi
index 8dcf4969ae0..f4513b79d7a 100644
--- a/gcc/doc/makefile.texi
+++ b/gcc/doc/makefile.texi
@@ -21,6 +21,9 @@ calls @samp{make man} and @samp{make info}.
@item dvi
Produce DVI-formatted documentation.
+@item pdf
+Produce PDF-formatted documentation.
+
@item html
Produce HTML-formatted documentation.