diff options
| author | David Aspinall | 2008-01-17 12:11:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-17 12:11:18 +0000 |
| commit | dd01573f57463212f3f9667a787c94ab691c0fa7 (patch) | |
| tree | 3725216df224eb17283f9bec6ffcae5f595b28f7 /generic/proof-maths-menu.el | |
| parent | c088485c7c536ee59f549477d9841645a288c223 (diff) | |
Prevent loading early in interpreted code: simulate proper eval-when (compile)
Diffstat (limited to 'generic/proof-maths-menu.el')
| -rw-r--r-- | generic/proof-maths-menu.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el index 7f488fa1..c6a59454 100644 --- a/generic/proof-maths-menu.el +++ b/generic/proof-maths-menu.el @@ -19,8 +19,10 @@ ;; (eval-when-compile - (require 'maths-menu) ; dynamically loaded at runtime - (require 'proof-utils)) ; proof-ass, proof-eval-when-ready-for-assistant + (require 'proof-utils) ; for proof-ass, proof-eval-when-ready-for-assistant + (if noninteractive ; batch byte compilation + (unless (featurep 'xemacs) + (require 'maths-menu)))) ; it's loaded dynamically at runtime ;;;###autoload |