projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c3cc04) | patch
install-old.texi: Remove documentation of some configuration options.
authorJoseph Myers <jsm28@cam.ac.uk>
Sat, 2 Jun 2001 13:59:52 +0000 (14:59 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Sat, 2 Jun 2001 13:59:52 +0000 (14:59 +0100)
commit6ac485713c3a564e0addf075216c0ad9a2ded1fc
treea3db4c63f305633d1b489f34afd4c771f6995c84tree
parent0c3cc043ac8d7867639591318fa6776b313788bfcommit | diff
install-old.texi: Remove documentation of some configuration options.

* doc/install-old.texi: Remove documentation of some configuration
options.
* doc/install.texi: Add relevant parts of this documentation here.

From-SVN: r42802
gcc/ChangeLog diff | blob | history
gcc/doc/install-old.texi diff | blob | history
gcc/doc/install.texi diff | blob | history