Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

fixes in the texinfo documentation

11 views
Skip to first unread message

Patrice Dumas

unread,
Jun 14, 2012, 8:43:35 PM6/14/12
to bug...@gnu.org, Karl Berry
Hello,

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.

--
Pat
gdb-docs.diff

Eli Zaretskii

unread,
Jun 15, 2012, 5:22:07 AM6/15/12
to Patrice Dumas, ka...@freefriends.org, bug...@gnu.org
> Date: Fri, 15 Jun 2012 02:43:35 +0200
> From: Patrice Dumas <pert...@free.fr>
> Cc: Karl Berry <ka...@freefriends.org>
Thanks, committed.

0 new messages