From:	sandmann AT clio DOT rice DOT edu (Charles Sandmann)
Message-Id:	<9608010448.AA11601@clio.rice.edu>
Subject:	Re: should stubify strip?
To:	djgpp-workers AT delorie DOT com (DJGPP developers)
Date:	Wed, 31 Jul 1996 23:48:35 -0600 (CDT)
In-Reply-To:	<Pine.SUN.3.91.960801073658.4425F-100000@is> from "Eli Zaretskii" at Aug 1, 96 07:40:23 am

> Given the controversy that this option created even within this small 
> group, I'd suggest to post a question to comp.os.msdos.djgpp and gather 
> some user replies before we decide to make this change.  That's assuming 
> we want it (of which I'm not certain).

Don't bother.  I suggest we leave the default as is; then someone who wants
it bad enough adds the strip option to stubify, and then when that happens 
we document how to modify specs as a user option.  It's a noop until 
someone sends DJ the patches to stubify.

- Raw text -