[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 1/2] build: Use an up to date copy of texinfo.tex
|
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 |
|
User-agent: |
Mutt/1.7.2 (2016-11-26) |
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?
Re: Fix the inability to build the manual., Leo Famulari, 2017/02/24