diff configure.in @ 12294:3631443c706e

(Info-directory-list): If path-separator isn't available, bind it here.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Jun 1995 19:12:53 +0000
parents 3645602e817f
children b9adf75f0b29
line wrap: on
line diff