> Date: Fri, 15 Jun 2012 02:43:35 +0200 > From: Patrice Dumas <pertu...@free.fr> > Cc: Karl Berry <k...@freefriends.org> > > 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 bug-gdb@gnu.org https://lists.gnu.org/mailman/listinfo/bug-gdb
