diff configure1.in @ 15668:194145c1a2c0

Added Richard's diffs to this file, fixed a couple of small bugs texinfo related bugs.
author Daniel Hagerty <hag@gnu.org>
date Sun, 14 Jul 1996 01:59:42 +0000
parents c1e70445780e
children
line wrap: on
line diff