From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 30787 invoked by alias); 24 Oct 2013 11:37:48 -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 30754 invoked by uid 89); 24 Oct 2013 11:37:46 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.8 required=5.0 tests=AWL,BAYES_00 autolearn=ham version=3.3.2 X-Spam-User: qpsmtpd, 2 recipients X-HELO: rock.gnat.com Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA encrypted) ESMTPS; Thu, 24 Oct 2013 11:37:45 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 0AEA2116886; Thu, 24 Oct 2013 07:38:09 -0400 (EDT) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id i7zSIIxQwOza; Thu, 24 Oct 2013 07:38:08 -0400 (EDT) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id 7FE2511687A; Thu, 24 Oct 2013 07:38:08 -0400 (EDT) Received: by joel.gnat.com (Postfix, from userid 1000) id 79EEDE10A4; Thu, 24 Oct 2013 15:37:39 +0400 (RET) Date: Thu, 24 Oct 2013 11:37:00 -0000 From: Joel Brobecker To: Pedro Alves Cc: Tom Tromey , Hans-Peter Nilsson , binutils@sourceware.org, gdb@sourceware.org Subject: Re: File missing from the git: texinfo/texinfo.tex Message-ID: <20131024113739.GA14693@adacore.com> References: <201310231640.r9NGeOjY029105@ignucius.se.axis.com> <874n88dj74.fsf@fleche.redhat.com> <5268EEBF.2040805@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <5268EEBF.2040805@redhat.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-SW-Source: 2013-10/txt/msg00125.txt.bz2 > > The argument for this choice is mainly that it is more true to the > > history. E.g., with the current git repository you can't faithfully > > re-create old releases. > > Yeah. If it were up to me, I'd just bite the bullet and do this. FWIW, same for me. -- Joel