diff configure.in @ 11959:0b8b8be6a3fd

(Info-directory-list): Use path-separator.
author Karl Heuer <kwzh@gnu.org>
date Sat, 27 May 1995 00:36:25 +0000
parents 03675a551746
children 3c3f3bbe311f
line wrap: on
line diff