> 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
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel
