* doc/install-old.texi: Remove more documentation of configure
commit75529eca9bd4e40be1c300032e3bb7bfba965c5f
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 23 Jun 2001 23:41:59 +0000 (23 23:41 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 23 Jun 2001 23:41:59 +0000 (23 23:41 +0000)
tree237ca6170f7e3ad3cd4336dd0615caa5a0f077d4
parentc6e67146dfc1413300b709f170465c481ff46424
* doc/install-old.texi: Remove more documentation of configure
options.
* doc/install.texi: Add it here.

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