[3.2 PATCH] install-no-fixedincludes repaired

[Christian Cornelssen]

Dear GCC maintainers,

now after six weeks, what about the tiny patch as of 8 Oct 2002?
(http://gcc.gnu.org/ml/gcc-patches/2002-10/msg00419.html)

Regards,

Christian Cornelssen