GNU bug report logs - #43107
Errors in man pages

Previous Next

Package: gzip;

Reported by: Helge Kreutzmann <debian <at> helgefjell.de>

Date: Sun, 30 Aug 2020 05:40:02 UTC

Severity: normal

Done: Paul Eggert <eggert <at> cs.ucla.edu>

Bug is archived. No further changes may be made.

Full log

Message #31 received at 43107-done <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: Helge Kreutzmann <debian <at> helgefjell.de>
Cc: 43107-done <at> debbugs.gnu.org
Subject: Re: bug#43107: Errors in man pages
Date: Mon, 31 Aug 2020 16:14:17 -0700

[Message part 1 (text/plain, inline)]
On 8/31/20 12:13 PM, Helge Kreutzmann wrote:
> But, actually, personally I would not change it, I think the previous
> order looks better.

OK, let's leave that alone then.

The remaining proposed changes are to use bold rather than italics for command 
names so I installed the attached to do that. Closing the bug report.

[0001-doc-prefer-bold-to-italics-for-command-names.patch (text/x-patch, attachment)]
This bug report was last modified 4 years and 321 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.