diff options
author | brooks <brooks@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-10-16 19:51:55 +0000 |
---|---|---|
committer | brooks <brooks@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-10-16 19:51:55 +0000 |
commit | bf8eaea991938663bb6d60d9c926cce24999f7de (patch) | |
tree | 74fe6b2390e9174079454f7ba3c933dbabdd89e8 /gcc/doc/makefile.texi | |
parent | 5c61fcb623800e3e47e76ebb5c0cb7b4b1164f2b (diff) | |
download | gcc-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.texi | 3 |
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. |