[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: |
Ludovic Courtès |
|
Subject: |
Re: [PATCH 1/2] build: Use an up to date copy of texinfo.tex |
|
Date: |
Sat, 11 Mar 2017 12:26:57 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
John Darrington <address@hidden> skribis:
> * build-aux/texinfo.tex,ref: New file, copied from texlive-minimal
> * bootstrap: Use it, if newer than the texinfo.tex from automake.
Sorry for the delay.
I think we should not add texinfo.tex to our repo. As you discussed in
the rest of the thread, it’s supposed to be copied by “automake -a”, so
we might want to wait for a new Automake release.
Also, the canonical source for texinfo.texi is Texinfo, not TeX Live.
Ludo’.
- Re: [PATCH 1/2] build: Use an up to date copy of texinfo.tex,
Ludovic Courtès <=