Date: Wed, 4 Feb 1998 17:50:01 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Anton Helm <tony AT nt DOT tuwien DOT ac DOT at>
cc: djgpp AT delorie DOT com
Subject: Re: INFO_COLORS in djgpp.env
In-Reply-To: <3.0.5.32.19980204112658.00aef810@hal.nt.tuwien.ac.at>
Message-ID: <Pine.SUN.3.91.980204174819.26317H-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


On Wed, 4 Feb 1998, Anton Helm wrote:

> Is INFO_COLORS a non-documented feature ?

It is documented in detail in the file gnu/texinfo3.9/readme.djg which 
comes with the DJGPP port of Texinfo 3.9 (v2gnu/txi390b.zip).