Date: Thu, 15 Feb 1996 07:52:31 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Morten Welinder <terra AT diku DOT dk>
Cc: djgpp AT delorie DOT com
Subject: Re: Printing/saving info nodes


On 14 Feb 1996, Morten Welinder wrote:

> >So you can really get away with something like a port of
> >`cat' or anything else along these lines which you can put into a batch
> >file to say ``cat > prn'', then set the INFO_PRINT_COMMAND environment
> >variable to point to that batch file. 
> 
> The idea is right and it ought to work.  But, alas!  It doesn't.
> See http://www.diku.dk/~terra/MSDOG.html bullet 15.

I could swear I tried it and it did...  Anyway, if the batch file says the 
following, it should work, I think:

	redir -o prn cat