diff options
Diffstat (limited to 'proof-general.el')
| -rw-r--r-- | proof-general.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/proof-general.el b/proof-general.el index d0955088..5b4b6a56 100644 --- a/proof-general.el +++ b/proof-general.el @@ -56,8 +56,9 @@ ;;;###autoload (eval-and-compile (defvar pg-init--script-full-path - (or (and load-in-progress load-file-name) - (bound-and-true-p byte-compile-current-file) + (or (bound-and-true-p byte-compile-current-file) + (and load-in-progress load-file-name) + (buffer-file-name))) (defvar pg-init--pg-root (file-name-directory pg-init--script-full-path))) |