diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2012-05-08 08:11:52 +0000 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2012-05-08 08:11:52 +0000 |
| commit | 40c1ffb035da3c6c58e53e8190cce672e42283d3 (patch) | |
| tree | 2e4c577409de920d3f62ea763561999c8df0c2bb /generic/proof-auxmodes.el | |
| parent | 14f719f2b971f10d8d40c18301c77c7758de9198 (diff) | |
Use proof-add-to-load-path to extend load-path. This way,
distributions with specific requirements (such as Debian with
debian-pkg-add-load-path-item) only need to patch one function.
Diffstat (limited to 'generic/proof-auxmodes.el')
| -rw-r--r-- | generic/proof-auxmodes.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/generic/proof-auxmodes.el b/generic/proof-auxmodes.el index 20ced2a4..a6f06479 100644 --- a/generic/proof-auxmodes.el +++ b/generic/proof-auxmodes.el @@ -23,10 +23,8 @@ (or (featurep 'mmm-auto) (progn ;; put bundled version on load path - (setq load-path - (cons - (concat proof-home-directory "contrib/mmm/") - load-path)) + (proof-add-to-load-path + (concat proof-home-directory "contrib/mmm/")) ;; *should* always succeed unless bundled version broken (proof-try-require 'mmm-auto))) ;; Load prover-specific config in <foo>-mmm.el |