Re: [PATCH 04/10] maint: do not produce DVI-format manual anymore
On 11/16/25 00:23, James Youngman wrote: If we are going to apply this patch, we should also delete https://www.gnu.org/software/findutils/manual/dvi/find.dvi.gz I suppose. Otherwise it will get very out of date. good point, I was hoping not to forget deleting it with the next web sync. Thanks & have a nice day, Berny
Re: [PATCH 04/10] maint: do not produce DVI-format manual anymore
If we are going to apply this patch, we should also delete https://www.gnu.org/software/findutils/manual/dvi/find.dvi.gz I suppose. Otherwise it will get very out of date.
