From 40c1ffb035da3c6c58e53e8190cce672e42283d3 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Tue, 8 May 2012 08:11:52 +0000 Subject: 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. --- generic/proof-auxmodes.el | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'generic/proof-auxmodes.el') 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 -mmm.el -- cgit v1.2.3