comparison make-dist @ 4481:c40febdb9967

(dired-compress-file): For .z file, run gunzip. When running gzip, see if it made .gz or .z. (dired-compress): Delete old entry for new-file, if any.
author Richard M. Stallman <rms@gnu.org>
date Sun, 08 Aug 1993 05:00:25 +0000
parents 15c60018d647
children f1fa60176c8d
comparison
equal deleted inserted replaced
4480:208145c77950 4481:c40febdb9967