From 01aa91e1ec353d8c9346530d58afc3bfd5ce6b2a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Oct 2000 17:29:08 +0000
Subject: Pass extra args to emacs.

---
 bin/proofgeneral | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 220ae9df..9c3706fb 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -19,5 +19,4 @@ else
     EMACS=emacs
 fi
 
-$EMACS -l $PGHOME/generic/proof-site.el
-
+$EMACS -l $PGHOME/generic/proof-site.el "$@"
-- 
cgit v1.2.3