diff options
| -rw-r--r-- | generic/proof-maths-menu.el | 6 | ||||
| -rw-r--r-- | generic/proof-mmm.el | 5 |
2 files changed, 7 insertions, 4 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 diff --git a/generic/proof-mmm.el b/generic/proof-mmm.el index 5bb22f0c..d82d55d5 100644 --- a/generic/proof-mmm.el +++ b/generic/proof-mmm.el @@ -22,8 +22,9 @@ ;; It should define an MMM submode class called <foo>. (eval-when-compile - (require 'mmm-auto) ; loaded dynamically at runtime - (require 'proof-utils)) ; for 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 + (require 'mmm-auto))) ; it's loaded dynamically at runtime (require 'proof-site) |