diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2013-02-21 10:40:44 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2013-02-21 10:40:44 +0100 |
| commit | a0ad148fe34b78f1ca785e588e9c32ded42e16a7 (patch) | |
| tree | d10ce871a62f98db36b7714e7003fa2662b15259 /libjava/classpath/doc | |
| parent | 7bcc6e758e039a4d6b2f9642d38217beffd1cdd9 (diff) | |
| download | gcc-a0ad148fe34b78f1ca785e588e9c32ded42e16a7.zip gcc-a0ad148fe34b78f1ca785e588e9c32ded42e16a7.tar.gz gcc-a0ad148fe34b78f1ca785e588e9c32ded42e16a7.tar.bz2 | |
re PR bootstrap/56258 (Please upgrade doc/*.texi to the latest texinfo package(s))
PR bootstrap/56258
* doc/invoke.texi (-fdump-rtl-pro_and_epilogue): Use @item
instead of @itemx.
* gnat-style.texi (@title): Remove @hfill.
* projects.texi: Avoid line wrapping inside of @pxref or
@xref.
* doc/cp-tools.texinfo (Virtual Machine Options): Use just
one @gccoptlist instead of 3 separate ones.
From-SVN: r196196
Diffstat (limited to 'libjava/classpath/doc')
| -rw-r--r-- | libjava/classpath/doc/cp-tools.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libjava/classpath/doc/cp-tools.texinfo b/libjava/classpath/doc/cp-tools.texinfo index ec186de..c3cc5ff 100644 --- a/libjava/classpath/doc/cp-tools.texinfo +++ b/libjava/classpath/doc/cp-tools.texinfo @@ -2025,7 +2025,7 @@ Doclet, grouped by type. Explanations are in the following sections. @item Virtual Machine Options @xref{Virtual Machine Options,,Options Controlling Gjdoc Behavior}. -@gccoptlist{-classpath} @gccoptlist{-bootclasspath} @gccoptlist{-J}@var{vmopt} +@gccoptlist{-classpath -bootclasspath -J @var{vmopt}} @end table |