From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32583 invoked by alias); 24 Oct 2013 15:50:55 -0000 Mailing-List: contact gdb-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sourceware.org Received: (qmail 32560 invoked by uid 89); 24 Oct 2013 15:50:55 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.4 required=5.0 tests=AWL,BAYES_00,RP_MATCHES_RCVD,SPF_PASS autolearn=ham version=3.3.2 X-Spam-User: qpsmtpd, 2 recipients X-HELO: ra.se.axis.com Received: from ra.se.axis.com (HELO ra.se.axis.com) (195.60.68.13) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 24 Oct 2013 15:50:54 +0000 Received: from localhost (localhost [127.0.0.1]) by ra.se.axis.com (Postfix) with ESMTP id 43EDB384F05; Thu, 24 Oct 2013 17:50:52 +0200 (CEST) Received: from ra.se.axis.com ([127.0.0.1]) by localhost (ra.se.axis.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id wgWG7uTqkqSS; Thu, 24 Oct 2013 17:50:51 +0200 (CEST) Received: from boulder.se.axis.com (boulder.se.axis.com [10.0.2.104]) by ra.se.axis.com (Postfix) with ESMTP id AB70D384F37; Thu, 24 Oct 2013 17:48:00 +0200 (CEST) Received: from boulder.se.axis.com (localhost [127.0.0.1]) by postfix.imss71 (Postfix) with ESMTP id 31670A08; Thu, 24 Oct 2013 17:48:00 +0200 (CEST) Received: from seth.se.axis.com (seth.se.axis.com [10.0.2.172]) by boulder.se.axis.com (Postfix) with ESMTP id 261B86DC; Thu, 24 Oct 2013 17:48:00 +0200 (CEST) Received: from ignucius.se.axis.com (ignucius.se.axis.com [10.88.21.50]) by seth.se.axis.com (Postfix) with ESMTP id 19CCE3E06F; Thu, 24 Oct 2013 17:48:00 +0200 (CEST) Received: from ignucius.se.axis.com (localhost [127.0.0.1]) by ignucius.se.axis.com (8.12.8p1/8.12.8/Debian-2woody1) with ESMTP id r9OFlxY2017075; Thu, 24 Oct 2013 17:47:59 +0200 Received: (from hp@localhost) by ignucius.se.axis.com (8.12.8p1/8.12.8/Debian-2woody1) id r9OFlwZ3017071; Thu, 24 Oct 2013 17:47:58 +0200 Date: Thu, 24 Oct 2013 15:50:00 -0000 Message-Id: <201310241547.r9OFlwZ3017071@ignucius.se.axis.com> From: Hans-Peter Nilsson To: tromey@redhat.com CC: palves@redhat.com, binutils@sourceware.org, gdb@sourceware.org In-reply-to: <87li1ibwwh.fsf@fleche.redhat.com> (message from Tom Tromey on Thu, 24 Oct 2013 15:50:38 +0200) Subject: Re: File missing from the git: texinfo/texinfo.tex MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=iso-8859-1 Content-Transfer-Encoding: 8BIT X-SW-Source: 2013-10/txt/msg00131.txt.bz2 > From: Tom Tromey > Date: Thu, 24 Oct 2013 15:50:38 +0200 > Pedro> Yeah. If it were up to me, I'd just bite the bullet and do > Pedro> this. > > I restarted the conversion here, with the texinfo bug fixed. FWIW, I noticed no other issues while working around the texinfo issue. brgds, H-P