On Mon, Jan 06, 2020 at 10:07:08PM +0000, Colin Watson wrote: > There's already "/var/cache/man/** w" in man_filter,
In fact, I just noticed that you're running stable, which doesn't have that fix: https://bugs.debian.org/926450 https://salsa.debian.org/debian/man-db/commit/e9384c86cddec12c98737afc0f724392497b7b4a So the right thing to do is just to issue a stable update with that fix. I already have such a patch queued up and will try to get round to the paperwork for it soon. -- Colin Watson [cjwat...@debian.org]
