To: softbrek AT pool DOT informatik DOT rwth-aachen DOT de
Cc: djgpp AT sun DOT soe DOT clarkson DOT edu (djgpp)
Subject: Re: You can't read iostream.inf with info.exe? read this! 
Date: Wed, 23 Nov 94 16:17:36 +0200
From: "Eli Zaretskii" <eliz AT is DOT elta DOT co DOT il>

> The cure (for ever, but a bit harder to do):
> ============================================
>
> Make info.exe strip these CR's after reading, and circumvent its
> file-size checking routine, so it knows that the difference between
> reported file-size and number of characters read (after having
> stripped the CR's) is legal. (This was working once, but this

This was the first thing which annoyed me quite a bit several months
ago, when I first started to use DJGPP.  I wrote to DJ several times,
but we couldn't agree on the solution (DJ claimed it won't work).  So
eventually I fixed it in the Info sources myself, and use that patched
version ever since.