diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-05-16 17:26:16 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-16 17:26:16 +0000 |
commit | f40224e3d8403dba9920572a7b782d991370fa90 (patch) | |
tree | 5f828a2b36bad09b26a729c1cb9f11e0ba4b465a /bin | |
parent | cac0b07f1b3632674aec46df9be3cb82f6e91946 (diff) |
Run the display splash command
Diffstat (limited to 'bin')
-rw-r--r-- | bin/proofgeneral | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/proofgeneral b/bin/proofgeneral index 9c3706fb..b479b531 100644 --- a/bin/proofgeneral +++ b/bin/proofgeneral @@ -19,4 +19,4 @@ else EMACS=emacs fi -$EMACS -l $PGHOME/generic/proof-site.el "$@" +$EMACS -l $PGHOME/generic/proof-site.el -f proof-splash-message "$@" |