On Mon, 21 Oct 1996, Bill Studenmund wrote:

> 
> > Also, is it possible to only sup /src/domestic.  I don't have the full
> > source tree supped right now.  And I don't have a whole lot of space to
> > spare.
> 
There is a release (I think it is called current-secr or security)
which contains /usr/src/domestic/*. In fact, because of export reasons,
the security part is not contained in the source tree release:)
	-jd

       ==============

jddst19+@pitt.edu   John Duncan
		    Freshman, University of Pittsburgh

"I'm not a doctor, but I ate one at the UPMC..."