-
Paul Eggert authored
* configure.in: Add --with-wide-int. * INSTALL: Mention this. [etc/ChangeLog] * NEWS: Mention new configure option --with-wide-int.
81eafe29
* configure.in: Add --with-wide-int. * INSTALL: Mention this. [etc/ChangeLog] * NEWS: Mention new configure option --with-wide-int.