[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: stable/2.20 might fail to build
|
From: |
Werner LEMBERG |
|
Subject: |
Re: stable/2.20 might fail to build |
|
Date: |
Thu, 04 Jul 2019 15:25:22 +0200 (CEST) |
> During building stable/ 2.20 we have to build the Portuguese
> website. As we have no txi-pt.tex in the tex/ directory that will
> fail if there is no installation of texinfo on the host system.
So the `stable' branch should add the file `txi-pt.tex' from upstream,
right?
> Before I write a patch: Could someone please explain to me why we
> use txi-*.tex files stored in /tex instead of the build system's
> files?
Normally, tex and texinfo are not distributed together – for example,
`TeXLive' doesn't contain texinfo. I think the idea is thus to enable
a documentation build (using tex) without the need to use texinfo.
Werner