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