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
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
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
Eli Zaretskii
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.
> From: Patrice Dumas <pert...@free.fr>
> Cc: Karl Berry <ka...@freefriends.org>
0 new messages