tor 2023-05-11 klockan 20:15 +0200 skrev Niels Möller:
> Simon Josefsson writes:
>
> > How about this patch? They are not up to date and I couldn't find
> > anywhere that uses them anyway.
>
> I agree texinfo.tex appears unused (nettle.texinfo is processed with
> makeinfo and texi2pdf). If it
Simon Josefsson writes:
> How about this patch? They are not up to date and I couldn't find
> anywhere that uses them anyway.
I agree texinfo.tex appears unused (nettle.texinfo is processed with
makeinfo and texi2pdf). If it is deleted, Makefile.in DISTFILES need
updating as well.
I think