Re: [PATCH 04/10] maint: do not produce DVI-format manual anymore
James Youngman <[email protected]> Sat, 15 Nov 2025 23:23:16 +0000
| Newsgroups | gmane.comp.gnu.findutils.bugs,gmane.comp.gnu.findutils.patches |
|---|---|
| Message-ID | <CAGwX767k68gv9C+kgLrxx9kKz6+EXFeEEYT4yj6rRkGwLFJkbA@mail.gmail.com> |
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.