>> So the `stable' branch should add the file `txi-pt.tex' from
>> upstream, right?
>
> Yes. And we need to add the filename to the list of copied files in
> grand-replace.py. See attached patch for stable/2.20.
LGTM, thanks!
Werner
___
lilypon
Hi Werner!
So the `stable' branch should add the file `txi-pt.tex' from upstream,
right?
Yes. And we need to add the filename to the list of copied files in
grand-replace.py. See attached patch for stable/2.20.
Knut
>From 36e4be23ca414ca9d315d89b94d5a3e4cbb20f4d Mon Sep 17 00:00:00 2001
Fr
> 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 p
Knut Petersen 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
