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

From: Yasuhiro Kimura <yasu_at_utahime.org>
Date: Sun, 27 Jun 2021 00:23:30 UTC
From: Yasuhiro Kimura <yasu@utahime.org>
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
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=256852

Just FYI.

---
Yasuhiro Kimura