* configure.in (--without-headers): Add missing double quotes.
authorRichard Sandiford <rdsandiford@googlemail.com>
Wed, 29 Sep 2004 11:43:26 +0000 (11:43 +0000)
committerRichard Sandiford <rdsandiford@googlemail.com>
Wed, 29 Sep 2004 11:43:26 +0000 (11:43 +0000)
commit32be62b581981b7630a75b5cfcd5212987da393a
treeeb6f641aa8fb35904fe4bedbae8eb8e68c7d3924
parentd5f0cf9289b830f8713b46d61ce4e0bdbdecc300
* configure.in (--without-headers): Add missing double quotes.
* configure: Regenerate.
ChangeLog
configure
configure.in