Subject: Re: bug#43107: Errors in man pages

From: Paul Eggert <[email-masked]>
Date: Mon, 31 Aug 2020 10:26:09 -0700

On 8/31/20 9:36 AM, Helge Kreutzmann wrote:
 > If you read man-pages(7)

What's 'man-pages(7)', and what order does it suggest for gzip's man pages?