GCC headers and DJGPP port

[Eli Zaretskii]

> From: Mike Stump <mrs@windriver.com>
> Date: Thu, 20 Jul 2000 13:25:40 -0700 (PDT)
> 
> You have three options, either submit the work to make them more
> independent, submit the work to make gcc agree, or don't make them
> work together (no work).  Let me know which option you want to pursue
> and I can help you.

The first option, of course.  I apologize if I managed to confuse
things so that it wasn't clear.

Could we please go back to discussing the headers that GCC currently
wants to install, one by one, and see what needs to be done to get to
a more independent setup?