diff make-dist @ 8207:96e6518c209b

(insert-directory): Allow list for SWITCHES. Also split up a string containing separate options.
author Richard M. Stallman <rms@gnu.org>
date Tue, 12 Jul 1994 00:35:27 +0000
parents 686198604dc7
children cdd772d2e59f
line wrap: on
line diff