> Date: Fri, 15 Jun 2012 02:43:35 +0200 > From: Patrice Dumas <[email protected]> > Cc: Karl Berry <[email protected]> > > Please find attached a patch for the gdb documentation that fixes issues > such as @itemx instead of @item, empty @item, a missing @node, @menu > entries order inconsistent with respect with sectioning, and @@ to be > protected in @tex comments.
Thanks, committed. _______________________________________________ bug-gdb mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-gdb
