Re: Should /usr/share/man/man7/zpool-features.7.gz be removed or not?

From: Yasuhiro Kimura <>
Date: Sun, 27 Jun 2021 00:23:30 UTC
From: Yasuhiro Kimura <>
Subject: Should /usr/share/man/man7/zpool-features.7.gz be removed or not?
Date: Sat, 26 Jun 2021 10:20:09 +0900 (JST)

> Recently `make delete-old` ask if it removes
> /usr/share/man/man7/zpool-features.7.gz when I take regular update
> step. But even if I answer 'y' and the file is removed, it happens
> again when I do next update.
> Should the file be removed or not?
> Best Regards.

I submitted following bug report to Bugzilla

Bug 256852 - While `make installworld` installs /usr/share/man/man7/zpool-features.7.gz, `make delete-old` suggests to remove it

Just FYI.

Yasuhiro Kimura