[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: cannot bootstrap bison from git
From: |
Bruno Haible |
Subject: |
Re: cannot bootstrap bison from git |
Date: |
Sun, 19 May 2019 18:59:06 +0200 |
User-agent: |
KMail/5.1.3 (Linux/4.4.0-145-generic; KDE/5.18.0; x86_64; ; ) |
Akim Demaille wrote:
> > I don't have a file txi-en.tex on my disk.
>
> FWIW, this file part of my Texinfo 6.6 package. Bison distchecks cleanly on
> my side.
>
> $ port content texinfo | grep txi-
> /opt/local/share/texmf/tex/texinfo/txi-ca.tex
> /opt/local/share/texmf/tex/texinfo/txi-cs.tex
> /opt/local/share/texmf/tex/texinfo/txi-de.tex
> /opt/local/share/texmf/tex/texinfo/txi-en.tex
> /opt/local/share/texmf/tex/texinfo/txi-es.tex
> /opt/local/share/texmf/tex/texinfo/txi-fr.tex
> /opt/local/share/texmf/tex/texinfo/txi-hu.tex
> /opt/local/share/texmf/tex/texinfo/txi-is.tex
> /opt/local/share/texmf/tex/texinfo/txi-it.tex
> /opt/local/share/texmf/tex/texinfo/txi-ja.tex
> /opt/local/share/texmf/tex/texinfo/txi-nb.tex
> /opt/local/share/texmf/tex/texinfo/txi-nl.tex
> /opt/local/share/texmf/tex/texinfo/txi-nn.tex
> /opt/local/share/texmf/tex/texinfo/txi-pl.tex
> /opt/local/share/texmf/tex/texinfo/txi-pt.tex
> /opt/local/share/texmf/tex/texinfo/txi-ru.tex
> /opt/local/share/texmf/tex/texinfo/txi-sr.tex
> /opt/local/share/texmf/tex/texinfo/txi-tr.tex
> /opt/local/share/texmf/tex/texinfo/txi-uk.tex
It's not present in my installation of texinfo-6.6, from source:
$ find /arch/x86_64-linux-gnu/gnu-inst-texinfo/6.6 -type f | grep '\.tex$' ||
echo 'none found'
none found
In fact, that "make install" command printed a warning:
WARNING: If your texmf tree does not already contain
up-to-date versions, you must install
texinfo.tex and txi-??.tex manually,
perhaps in TEXMF/tex/texinfo/,
where TEXMF is a root of your TeX tree.
See doc/README for some considerations.
You can run make TEXMF=/your/texmf install-tex to do this.
You may also need to install epsf.tex in
TEXMF/tex/generic/dvips, if your TeX
installation did not include it.
Apparently the texinfo-6.6/doc/Makefile.am leaves it to the installer or
distributor to find out where to install texinfo.tex and txi-*.tex.
Anyway, it is a bad idea to rely on the texinfo.tex and txi-*.tex files that
are preinstalled, because these are often several years old.
Also you see that this warning above mentions texinfo.tex and txi-??.tex
together. Therefore I would think that the distribution channel we currently
have for texinfo.tex - namely through gnulib - should also be applied to
txi-??.tex. Otherwise we will be trying to use the very newest texinfo.tex
together with a years-old txi-en.tex.
Bruno