diff --git a/gcc48-pr56258.patch b/gcc48-pr56258.patch
index 0874988..25b0ca0 100644
--- a/gcc48-pr56258.patch
+++ b/gcc48-pr56258.patch
@@ -8,6 +8,9 @@
 	* 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.
+
 --- gcc/doc/invoke.texi.jj	2013-01-31 22:57:22.000000000 +0100
 +++ gcc/doc/invoke.texi	2013-02-20 13:06:47.516405739 +0100
 @@ -5612,7 +5612,7 @@ Dump after the peephole pass.
@@ -65,3 +68,14 @@
    role but takes the name of file containing file names similarly to
    @code{Source_List_File}.
  
+--- libjava/classpath/doc/cp-tools.texinfo.jj	2012-12-20 11:38:51.000000000 +0100
++++ libjava/classpath/doc/cp-tools.texinfo	2013-02-20 19:10:42.573925165 +0100
+@@ -2025,7 +2025,7 @@ Doclet, grouped by type.  Explanations a
+ 
+ @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
+