install-old.texi: Remove more documentation of configure options.
authorJoseph Myers <jsm28@cam.ac.uk>
Sat, 23 Jun 2001 23:41:59 +0000 (00:41 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Sat, 23 Jun 2001 23:41:59 +0000 (00:41 +0100)
commit8c26c999b04e2b29b41fefc47b721f72dd5ae7dd
tree237ca6170f7e3ad3cd4336dd0615caa5a0f077d4
parentd4916912e538795a83d546737d91abfea479c399
install-old.texi: Remove more documentation of configure options.

* doc/install-old.texi: Remove more documentation of configure
options.
* doc/install.texi: Add it here.

From-SVN: r43534
gcc/ChangeLog
gcc/doc/install-old.texi
gcc/doc/install.texi