diff options
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 8dcf496..f4513b7 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. |