diff options
| author |   Christian Faulhammer <fauli@gentoo.org> | 2007-03-08 08:01:09 +0000 |
|---|---|---|
| committer | Christian Faulhammer <fauli@gentoo.org> | 2007-03-08 08:01:09 +0000 |
| commit | cf34f11fd8cb653b72a136fa3e86aafbbd713cf9 (patch) | |
| tree | c64dff3ae9186af320c9eae9cd35bbd461e44036 /app-emacs/proofgeneral | |
| parent | add load path correctly, fixes bug 169588, reported by Ulrich Mueller <ulm@kp... (diff) | |
| download | historical-cf34f11fd8cb653b72a136fa3e86aafbbd713cf9.tar.gz historical-cf34f11fd8cb653b72a136fa3e86aafbbd713cf9.tar.bz2 historical-cf34f11fd8cb653b72a136fa3e86aafbbd713cf9.zip | |
add load path correctly, fixes bug 169588, reported by Ulrich Mueller <ulm@kph.uni-mainz.de>
Package-Manager: portage-2.1.2-r9
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 7 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/files/50proofgeneral-gentoo.el | 3 |
2 files changed, 7 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index a9e6ffcb059b..fe4e1e72abdd 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.11 2007/01/28 04:26:49 genone Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.12 2007/03/08 07:58:46 opfer Exp $ + + 08 Mar 2007; Christian Faulhammer <opfer@gentoo.org> + files/50proofgeneral-gentoo.el: + add load path correctly, fixes bug 169588, reported by Ulrich Mueller + <ulm@kph.uni-mainz.de> 28 Jan 2007; Marius Mauch <genone@gentoo.org> proofgeneral-3.5.ebuild, proofgeneral-3.5-r1.ebuild: diff --git a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el index 998e9ba55809..6ed74ee44fac 100644 --- a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el +++ b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el @@ -1,5 +1,4 @@ ;;; Proof General site-lisp configuration -;;;(setq load-path (cons "@SITELISP@/generic" load-path)) -(load-file "@SITELISP@/generic/proof-site.el") +(add-to-list 'load-path "@SITELISP@/generic/proof-site.el") |