Re: [PATCH 04/10] maint: do not produce DVI-format manual anymore
Bernhard Voelker <[email protected]> Sun, 16 Nov 2025 00:35:57 +0100
| Newsgroups | gmane.comp.gnu.findutils.bugs,gmane.comp.gnu.findutils.patches |
|---|---|
| Message-ID | <[email protected]> |
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