From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7518 invoked by alias); 14 May 2005 11:57:54 -0000 Mailing-List: contact gdb-patches-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sources.redhat.com Received: (qmail 7410 invoked from network); 14 May 2005 11:57:44 -0000 Received: from unknown (HELO romy.inter.net.il) (192.114.186.66) by sourceware.org with SMTP; 14 May 2005 11:57:44 -0000 Received: from zaretski (IGLD-83-130-254-105.inter.net.il [83.130.254.105]) by romy.inter.net.il (MOS 3.5.6-GR) with ESMTP id BFI86760 (AUTH halo1); Sat, 14 May 2005 14:57:36 +0300 (IDT) Date: Sat, 14 May 2005 13:17:00 -0000 From: "Eli Zaretskii" To: Andreas Jaeger Message-ID: <01c5587b$Blat.v2.4$a2c0e760@zahav.net.il> Content-Transfer-Encoding: 7BIT Content-Type: text/plain; charset=ISO-8859-1 CC: gcc-patches@gcc.gnu.org, gdb-patches@sourceware.org In-reply-to: (message from Andreas Jaeger on Sat, 14 May 2005 12:23:38 +0200) Subject: Re: [PATCH] Fix Texinfo usage in pexecute.txh Reply-to: Eli Zaretskii References: <01c55861$Blat.v2.4$8742c860@zahav.net.il> <01c5586d$Blat.v2.4$f24c66a0@zahav.net.il> X-SW-Source: 2005-05/txt/msg00345.txt.bz2 > From: Andreas Jaeger > Cc: gcc-patches@gcc.gnu.org, gdb-patches@sourceware.org > Date: Sat, 14 May 2005 12:23:38 +0200 > > Argh, I looked for " --- " instead of "---". This looks fine indeed. Thanks. I don't have write access to the repository, so someone else will have to commit this. > Btw. shouldn't there be spaces around this one? I don't think so. The Texinfo manual shows its usage without spaces.