[debbugs-tracker] bug#18184: closed ([patch] doc: marking some environment variables as such)

[GNU bug Tracking System]

Your message dated Sun, 03 Aug 2014 13:22:18 -0700
with message-id <address@hidden>
and subject line Re: bug#18184: [patch] doc: marking some environment variables 
as such
has caused the debbugs.gnu.org bug report #18184,
regarding [patch] doc: marking some environment variables as such
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
18184: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=18184
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [patch] doc: marking some environment variables as such Date: Sun, 03 Aug 2014 21:20:04 +0200

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
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: bug#18184: [patch] doc: marking some environment variables as such Date: Sun, 03 Aug 2014 13:22:18 -0700 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.0 Thanks, I installed the attached somewhat-different patch that should fix the problems you mentioned.

0001-doc-prefer-env-to-code.patch
Description: Text document

--- End Message ---