Re[2]: Patch to gdbmi.texinfo

[Dmitry Sivachenko <dima at Chg dot RU>]

Hello Eli,

Sunday, July 23, 2000, 11:18:29 PM, you wrote:

>> Date: Sun, 23 Jul 2000 20:32:56 +0400 (MSD)
>> From: "Dmitry S. Sivachenko" <dima@Chg.RU>
>> 
>> Please apply this patch to gdbmi.texinfo (this is a patch against
>> rev. 1.6).
>> 
>> It changes GDB --> @value{GDBN},
>> gdb --> @value{GDBP} (where appropriate),
>> and fixes a number of typos.

EZ> Thanks, I will apply them.

EZ> However, in the future please don't mix mechanistic string-replace
EZ> type of changes with real patches which change markup or content.
EZ> Like this, for instance:

EZ>     -@cindex ^error
EZ>     +@findex ^error

EZ> It is very easy to miss such real changes in the middle of gobs of
EZ> boring replacements, and fail to consider them.  Calling such changes
EZ> ``typos'' is not really accurate, either ;-).


OK, thanks for your hints!


-- 
Best regards,
 Dmitry                            mailto:dima@Chg.RU