diff make-dist @ 9015:1452c72d18db

(UTILITIES): Remove test-distrib, make-docfile, make-path. (DONT_INSTALL): New variable--list those files here. (clean): Delete the files in DONT_INSTALL.
author Richard M. Stallman <rms@gnu.org>
date Fri, 23 Sep 1994 05:42:40 +0000
parents f7ae124181cd
children ab020bbb761f
line wrap: on
line diff