Undo previous change; it doesn't seem to have been true.
commit3c4369a751f499cf1ea0ae5a6c56fde1eba5c795
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 12 Sep 2006 07:01:50 +0000 (12 07:01 +0000)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 12 Sep 2006 07:01:50 +0000 (12 07:01 +0000)
treef9b7f50962b7b467e4a491739c8195cd49c1cdf1
parent8b65be1d1a9acef50b571246ef0877d46aacd435
Undo previous change; it doesn't seem to have been true.
doc/autoconf.texi