diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2008-02-27 21:26:46 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2008-02-27 21:26:46 +0000 |
| commit | ded7e65586b31f079b7cada1cf6f1fe80ed6f260 (patch) | |
| tree | 5889fe5fd5f4048b23395d291d6e56d96834c696 /app-emacs/proofgeneral/files | |
| parent | opengl-xvmc explicitly requires 100.x.y series of NVIDIA drivers (diff) | |
| download | historical-ded7e65586b31f079b7cada1cf6f1fe80ed6f260.tar.gz historical-ded7e65586b31f079b7cada1cf6f1fe80ed6f260.tar.bz2 historical-ded7e65586b31f079b7cada1cf6f1fe80ed6f260.zip | |
Version bump. Properly install site file, fixes bug 211658.
Package-Manager: portage-2.1.4.4
Diffstat (limited to 'app-emacs/proofgeneral/files')
| -rw-r--r-- | app-emacs/proofgeneral/files/50proofgeneral-gentoo.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el index 6ed74ee44fac..f6d697ff5c3e 100644 --- a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el +++ b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el @@ -1,4 +1,5 @@ -;;; Proof General site-lisp configuration +;;; proofgeneral site-lisp configuration -(add-to-list 'load-path "@SITELISP@/generic/proof-site.el") +(add-to-list 'load-path "@SITELISP@/generic") +(require 'proof-site) |