From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <eliz@gnu.org>
Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10])
 by sourceware.org (Postfix) with ESMTPS id E3B0B39574CD
 for <gdb-patches@sourceware.org>; Thu, 29 Apr 2021 12:33:08 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org E3B0B39574CD
Received: from fencepost.gnu.org ([2001:470:142:3::e]:41377)
 by eggs.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <eliz@gnu.org>)
 id 1lc5qt-0005Gi-Od; Thu, 29 Apr 2021 08:33:07 -0400
Received: from 84.94.185.95.cable.012.net.il ([84.94.185.95]:4780
 helo=home-c4e4a596f7)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <eliz@gnu.org>)
 id 1lc5qp-0004vF-KP; Thu, 29 Apr 2021 08:33:04 -0400
Date: Thu, 29 Apr 2021 15:32:55 +0300
Message-Id: <83bl9xe0eg.fsf@gnu.org>
From: Eli Zaretskii <eliz@gnu.org>
To: andrew.burgess@embecosm.com
CC: gdb-patches@sourceware.org
In-Reply-To: <83fsz9e14z.fsf@gnu.org> (message from Eli Zaretskii via
 Gdb-patches on Thu, 29 Apr 2021 15:17:00 +0300)
Subject: Re: [PATCH 7/7] gdb: startup commands to control Python extension
 language
References: <cover.1619125261.git.andrew.burgess@embecosm.com>
 <baa30a387c74179380976d32b59df22f8768d300.1619125261.git.andrew.burgess@embecosm.com>
 <f4b440c9-3550-82a6-b96a-60a55ac0b9dd@suse.de>
 <20210429094642.GF2364578@embecosm.com> <83fsz9e14z.fsf@gnu.org>
X-Spam-Status: No, score=1.9 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 RCVD_IN_BARRACUDACENTRAL, SPF_HELO_PASS, SPF_PASS,
 TXREP autolearn=no autolearn_force=no version=3.4.2
X-Spam-Level: *
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: gdb-patches@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gdb-patches mailing list <gdb-patches.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/gdb-patches>,
 <mailto:gdb-patches-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/gdb-patches>,
 <mailto:gdb-patches-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Thu, 29 Apr 2021 12:33:10 -0000

> Date: Thu, 29 Apr 2021 15:17:00 +0300
> From: Eli Zaretskii via Gdb-patches <gdb-patches@sourceware.org>
> Cc: gdb-patches@sourceware.org
> 
> @command is the markup for programs, not for command lines.

To clarify, by "programs" I mean names of program executable files.
Like @command{gdb}, @command{gcc}, @command{make}, etc.  The Texinfo
manual says:

  Use the '@command' command to indicate command names, such as 'ls' or
  'cc'.