diff make-dist @ 16042:18414e324084

(compilation-finish-functions): New variable. (compilation-handle-exit): Run compilation-finish-functions.
author Richard M. Stallman <rms@gnu.org>
date Sun, 01 Sep 1996 20:23:30 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff