Knut Petersen <knut_peter...@t-online.de> writes: > Hi everybody! > > 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. > > 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?
Frequent significant divergence from upstream Texinfo? I think we had several Texinfo language supports and features before Texinfo proper had them. -- David Kastrup _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
