diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-02-21 09:40:44 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-02-21 09:40:44 +0000 |
| commit | 551e6483f3056a0832a2e15023c1fc5bf10f3fad (patch) | |
| tree | d10ce871a62f98db36b7714e7003fa2662b15259 /libjava/classpath/doc | |
| parent | 28a9e8c401074c241d77a2071c286219127eb0f1 (diff) | |
| download | ppe42-gcc-551e6483f3056a0832a2e15023c1fc5bf10f3fad.tar.gz ppe42-gcc-551e6483f3056a0832a2e15023c1fc5bf10f3fad.zip | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196196 138bc75d-0d04-0410-961f-82ee72b054a4
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 ec186dee778..c3cc5ff8cdf 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 |
