diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2010-02-11 09:56:22 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2010-02-11 09:56:22 +0000 |
| commit | fed8997584e142a313f488af845ba8791c54bd0f (patch) | |
| tree | 4bb38e88c367f2a75337072754cb780ec04a7c23 /app-emacs/proofgeneral/files | |
| parent | Missing sys-fs/fuseiso runtime depend wrt #304491 by Fest. (diff) | |
| download | historical-fed8997584e142a313f488af845ba8791c54bd0f.tar.gz historical-fed8997584e142a313f488af845ba8791c54bd0f.tar.bz2 historical-fed8997584e142a313f488af845ba8791c54bd0f.zip | |
Fix parallel make issue, install html documentation, bug 304399.
Package-Manager: portage-2.2_rc62/cvs/Linux i686
Diffstat (limited to 'app-emacs/proofgeneral/files')
| -rw-r--r-- | app-emacs/proofgeneral/files/50proofgeneral-gentoo.el | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el index f6d697ff5c3e..4839b17f1f58 100644 --- a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el +++ b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el @@ -1,5 +1,2 @@ - -;;; proofgeneral site-lisp configuration - (add-to-list 'load-path "@SITELISP@/generic") (require 'proof-site) |