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
