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.

Reply via email to