doc: minor tuneup of man page
commit97c3d5b3da78b39a715451e52265cd0579dd23ab
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 16 Jun 2023 22:21:24 +0000 (16 15:21 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 16 Jun 2023 22:21:49 +0000 (16 15:21 -0700)
treed0d64e7dcdce0cbb29c3aa51a01043a3aa41df28
parent9d3b65e310c16f0ef2b5dcbb7011ade59572296a
doc: minor tuneup of man page

From suggestions by Bjarni Ingli Gislason (bug#64118).
gzip.1