[PATCH] Fix PR 12546 zsh cannot be used for CONFIG_SHELL

[Andrew Pinski <pinskia at physics dot uc dot edu>]

PR 12546 is about trying to configuring having "$gcc" as the compiler 
which causes problems, the real problem is that the person was using 
zsh as /bin/sh.  This patch documents that zsh is not a fully complaint 
POSIX shell and will cause when configuring gcc.

OK?

ChangeLog:

* doc/install.texi: Document that zsh does not work when configuring 
gcc.


Patch:

Attachment: temp.diff
Description: Binary data

Patch:
Index: install.texi
===================================================================
RCS file: /cvs/gcc/gcc/gcc/doc/install.texi,v
retrieving revision 1.227
diff -u -p -r1.227 install.texi
--- install.texi	15 Oct 2003 17:12:01 -0000	1.227
+++ install.texi	17 Oct 2003 16:20:28 -0000
@@ -256,6 +256,9 @@ use @command{bash} to be sure.  Then set
 environment to your ``good'' shell prior to running
 @command{configure}/@command{make}.

+It is known that @command{zsh} is not a fully compliant POSIX shell 
and will not
+work when configuring gcc.
+
 @item GNU binutils

 Necessary in some circumstances, optional in others.  See the