diff man/mule.texi @ 32141:ad30e402b113

(fancy-splash-pending-command): New variable. (fancy-splash-pre-command): New function. (fancy-splash-screens): Rewritten. (command-line-1): If fancy-splash-pending-command is set, call it interactively.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 04 Oct 2000 19:01:37 +0000
parents 55ce1d116cc7
children 30abf11e1b8e
line wrap: on
line diff