Re: [rfa] Followup for obsolete targets

[Eli Zaretskii <eliz@gnu.org>]

> Date: Thu, 29 Mar 2007 16:36:57 -0400
> From: Daniel Jacobowitz <drow@false.org>
> Cc: Eli Zaretskii <eliz@gnu.org>, Mark Kettenis <kettenis@gnu.org>
> 
> This patch removes some bits and pieces associated with the targets I
> just removed - support code and documentation.  Is this OK?

Okay for the doco, with a single comment, see below.

> Eli, I think that some of the other sections on target-specific
> commands are for targets that were removed some time ago.  Just
> for your information - I didn't double-check.

I don't know enough about this to know what to remove.  At the time, I
ran a script on all the .c files that found things like add_cmd and
its ilk, and made sure each such command is documented in the manual,
but I certainly didn't sweep for documented commands that we no longer
have.  If someone knows about such commands and can explain what port
used them, I will approve such removal (or remove myself, if needed).

> --- doc/gdb.texinfo	26 Mar 2007 21:28:20 -0000	1.395
> +++ doc/gdb.texinfo	29 Mar 2007 20:26:00 -0000
> @@ -1241,37 +1241,12 @@ option (@pxref{Mode Options, ,Choosing m
>  @cindex init file name
>  @cindex @file{.gdbinit}
>  The @value{GDBN} init files are normally called @file{.gdbinit}.
> -On some configurations of @value{GDBN}, the init file is known by a
> -different name (these are typically environments where a specialized
> -form of @value{GDBN} may need to coexist with other forms, hence a
> -different name for the specialized version's init file).  These are the
> -environments with special init file names:
> -
> -@itemize @bullet
> -@cindex @file{gdb.ini}
> -@item
>  The DJGPP port of @value{GDBN} uses the name @file{gdb.ini}, due to

Why did you remove the index entry for gdb.ini?