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. --- lib/pg-dev.el | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'lib') diff --git a/lib/pg-dev.el b/lib/pg-dev.el index b791b155..1d1c0e66 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -16,6 +16,12 @@ (require 'whitespace) +(eval-when-compile + (require 'cl)) + +(eval-when (compile) + (require 'proof-site)) + (with-no-warnings (setq proof-general-debug t)) @@ -77,8 +83,8 @@ (defun pg-loadpath () (interactive) - (add-to-list 'load-path "../generic/") - (add-to-list 'load-path "../lib/")) + (proof-add-to-load-path "../generic/") + (proof-add-to-load-path "../lib/")) ;;; -- cgit v1.2.3