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

Previous Next

Package: grep;

Reported by: Benno Schulenberg <bensberg <at> justemail.net>

Date: Sun, 3 Aug 2014 19:21:02 UTC

Severity: normal

Tags: patch

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

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Benno Schulenberg <bensberg <at> justemail.net>
Subject: bug#18184: closed (Re: bug#18184: [patch] doc: marking some
 environment variables as such)
Date: Sun, 03 Aug 2014 20:23:02 +0000
[Message part 1 (text/plain, inline)]
Your bug report

#18184: [patch] doc: marking some environment variables as such

which was filed against the grep package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 18184 <at> debbugs.gnu.org.

-- 
18184: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=18184
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
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 3 (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)]
[Message part 5 (message/rfc822, inline)]
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 6 (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)]

This bug report was last modified 10 years and 289 days ago.

Previous Next


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