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

From: Yasuhiro Kimura <>
Date: Sat, 26 Jun 2021 01:20:09 UTC

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.

Yasuhiro Kimura