Re: [2/2] RFA: --with-system-readline -vs- gdb.texinfo

[Eli Zaretskii <eliz@gnu.org>]

> From: Tom Tromey <tromey@redhat.com>
> Date: Fri, 19 Nov 2010 13:55:11 -0700
> 
> Currently if you configure with --with-system-readline, the resulting
> gdb.info will still have its own copy of the readline manual.  This is
> the wrong thing to do -- the gdb readline might be a different version,
> so the documentation might be misleading.
> 
> This patch fixes the problem by making the uses of the included manual
> conditional on whether --with-system-readline was given.
> 
> This particular patch relies on removing gdb/doc/configure.
> If that patch does not go in, I can change this one to suit.
> 
> Tested by building both ways and looking at the appropriate nodes in the
> resulting .info file.
> 
> Please review.

OK, thanks.

>  History expansion assigns special meaning to the character @kbd{!}.
> -@xref{Event Designators}, for more details.
> +@ifset SYSTEM_READLINE
> +@xref{Using History Interactively, , , history, GNU History Library},
> +@end ifset
> +@ifclear SYSTEM_READLINE
> +@xref{Using History Interactively},
> +@end ifclear
> +for more details.

A copy/paste error?