diff configure1.in @ 16776:b998fe0016d5

(completion-ignored-extensions): Separate out the system-independent elements. Add Texinfo index files.
author Richard M. Stallman <rms@gnu.org>
date Sun, 29 Dec 1996 18:59:24 +0000
parents c1e70445780e
children
line wrap: on
line diff