From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: [PATCH 1/2] build: Use an up to date copy of texinfo.tex Date: Fri, 24 Feb 2017 13:26:49 -0500 Message-ID: <20170224182649.GC11732@jasmine> References: <1487765072-32603-1-git-send-email-jmd@gnu.org> <1487765072-32603-2-git-send-email-jmd@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52854) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1chKZx-0007E4-FZ for guix-devel@gnu.org; Fri, 24 Feb 2017 13:26:54 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1chKZu-0007Fk-Cc for guix-devel@gnu.org; Fri, 24 Feb 2017 13:26:53 -0500 Content-Disposition: inline In-Reply-To: <1487765072-32603-2-git-send-email-jmd@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: John Darrington Cc: guix-devel@gnu.org On Wed, Feb 22, 2017 at 01:04:31PM +0100, John Darrington wrote: > * build-aux/texinfo.tex,ref: New file, copied from texlive-minimal > * bootstrap: Use it, if newer than the texinfo.tex from automake. > --- > bootstrap | 11 +- > build-aux/texinfo.tex,ref | 11562 ++++++++++++++++++++++++++++++++++++++++++++ > 2 files changed, 11572 insertions(+), 1 deletion(-) > create mode 100644 build-aux/texinfo.tex,ref I admit that I don't really understand what's going on here. What is the difference between this new file 'build-aux/texinfo.tex,ref' and the 'build-aux/texinfo.tex'? Do we need both?