From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 31045 invoked by alias); 17 Feb 2004 19:50:46 -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 31031 invoked from network); 17 Feb 2004 19:50:44 -0000 Received: from unknown (HELO localhost.redhat.com) (216.129.200.20) by sources.redhat.com with SMTP; 17 Feb 2004 19:50:44 -0000 Received: from gnu.org (localhost [127.0.0.1]) by localhost.redhat.com (Postfix) with ESMTP id 6CE402B92; Tue, 17 Feb 2004 14:50:43 -0500 (EST) Message-ID: <40327093.4050403@gnu.org> Date: Tue, 17 Feb 2004 19:50:00 -0000 From: Andrew Cagney User-Agent: Mozilla/5.0 (X11; U; NetBSD macppc; en-US; rv:1.0.2) Gecko/20030820 MIME-Version: 1.0 To: Eli Zaretskii Cc: Bob Rossi , gdb-patches@sources.redhat.com Subject: Re: -symbol-list-lines doco update References: <20040217154339.GA5684@white> <9003-Tue17Feb2004212321+0200-eliz@elta.co.il> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2004-02/txt/msg00481.txt.bz2 > > Please use "@itemize @minus" and "@item" here, like this: > > There are two interesting points to be mentioned here. > > @itemize @minus > @item Eli, fyi, appears to 100% consistently use "@itemize @bullet". Shouldn't that be used here? Andrew