* doc/install-old.texi: Remove documentation of some configuration
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 2 Jun 2001 13:59:52 +0000 (13:59 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 2 Jun 2001 13:59:52 +0000 (13:59 +0000)
commitff17c9fb0ab756c971a96bc408833584fbdce329
treea3db4c63f305633d1b489f34afd4c771f6995c84
parent71b5af0d8c5fc56c4e036ca8b8c1daafd30d7c33
* doc/install-old.texi: Remove documentation of some configuration
options.
* doc/install.texi: Add relevant parts of this documentation here.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@42802 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/doc/install-old.texi
gcc/doc/install.texi