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

Previous Next

Full log

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)]

Previous Next

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