GNU bug report logs - #18184
[patch] doc: marking some environment variables as such

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 18184 in the body.
You can then email your comments to 18184 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Benno Schulenberg <bensberg <at> justemail.net>
To: bug-grep <at> gnu.org
Subject: [patch] doc: marking some environment variables as such
Date: Sun, 03 Aug 2014 21:20:04 +0200

[Message part 1 (text/plain, inline)]

Hi,

In doc/grep.texi some environment variables are marked with
@code{} instead of @env{}.  Attached patch fixes this.

There are some other env vars that still use @code{}, but
they refer to a "category" -- I don't quite know whether
these should be marked differently too, so I have left
them alone.

Benno

-- 
http://www.fastmail.fm - A no graphics, no pop-ups email service

[0001-doc-mark-up-some-environment-variables-as-such.patch (text/x-diff, attachment)]

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

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: Benno Schulenberg <bensberg <at> justemail.net>, 
 18184-done <at> debbugs.gnu.org
Subject: Re: bug#18184: [patch] doc: marking some environment variables as such
Date: Sun, 03 Aug 2014 13:22:18 -0700

[Message part 1 (text/plain, inline)]

Thanks, I installed the attached somewhat-different patch that should 
fix the problems you mentioned.

[0001-doc-prefer-env-to-code.patch (text/plain, attachment)]

Previous Next

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