Re: [rfa/target/doc] Print less with "set debug target 1"

Eli Zaretskii
2004-03-09T19:39:04Z

> Date: Tue, 9 Mar 2004 11:18:26 -0500
> From: Daniel Jacobowitz <drow@false.org>
>
> Here's what I checked in to HEAD. Eli, I ended up rewording the
> description for clarity, and now it says "use the @code{run} command" -
> by inspecting the rest of the manual, I'm pretty sure that should stay
> @code rather than @kbd. Right?

If you refer to the name of a command, then @code is okay. But if you
say "type `SOMETHING'", then whatever you want the user to type should
be in @kbd.

Did I succeed to explain the difference between these two cases?