From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 5489 invoked by alias); 24 Oct 2013 13:50:49 -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 5469 invoked by uid 89); 24 Oct 2013 13:50:48 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-3.6 required=5.0 tests=AWL,BAYES_00,RP_MATCHES_RCVD,SPF_HELO_PASS,SPF_PASS autolearn=ham version=3.3.2 X-Spam-User: qpsmtpd, 2 recipients X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 24 Oct 2013 13:50:48 +0000 Received: from int-mx12.intmail.prod.int.phx2.redhat.com (int-mx12.intmail.prod.int.phx2.redhat.com [10.5.11.25]) by mx1.redhat.com (8.14.4/8.14.4) with ESMTP id r9ODof0V006133 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Thu, 24 Oct 2013 09:50:43 -0400 Received: from barimba (ovpn-113-54.phx2.redhat.com [10.3.113.54]) by int-mx12.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id r9ODocAI010746 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO); Thu, 24 Oct 2013 09:50:38 -0400 From: Tom Tromey To: Pedro Alves Cc: Hans-Peter Nilsson , binutils@sourceware.org, gdb@sourceware.org Subject: Re: File missing from the git: texinfo/texinfo.tex References: <201310231640.r9NGeOjY029105@ignucius.se.axis.com> <874n88dj74.fsf@fleche.redhat.com> <5268EEBF.2040805@redhat.com> Date: Thu, 24 Oct 2013 13:50:00 -0000 In-Reply-To: <5268EEBF.2040805@redhat.com> (Pedro Alves's message of "Thu, 24 Oct 2013 10:56:15 +0100") Message-ID: <87li1ibwwh.fsf@fleche.redhat.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-SW-Source: 2013-10/txt/msg00127.txt.bz2 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. If there's an outcry against it, it's no trouble, I can stop it any time. Meanwhile this puts us in a position to switch over tonight or tomorrow. Tom