Archives
Archives
| From: | "Ulrich Mueller (ulm)" <ulm@g.o> |
|---|---|
| To: | gentoo-commits@l.g.o |
| Subject: | [gentoo-commits] gentoo-x86 commit in app-emacs/proofgeneral/files: 50proofgeneral-gentoo.el |
| Date: | Thu, 11 Feb 2010 09:56:25 |
| Message-Id: | E1NfVmZ-000157-5S@stork.gentoo.org |
| 1 | ulm 10/02/11 09:56:23 |
| 2 | |
| 3 | Modified: 50proofgeneral-gentoo.el |
| 4 | Log: |
| 5 | Fix parallel make issue, install html documentation, bug 304399. |
| 6 | (Portage version: 2.2_rc62/cvs/Linux i686) |
| 7 | |
| 8 | Revision Changes Path |
| 9 | 1.4 app-emacs/proofgeneral/files/50proofgeneral-gentoo.el |
| 10 | |
| 11 | file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el?rev=1.4&view=markup |
| 12 | plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el?rev=1.4&content-type=text/plain |
| 13 | diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el?r1=1.3&r2=1.4 |
| 14 | |
| 15 | Index: 50proofgeneral-gentoo.el |
| 16 | =================================================================== |
| 17 | RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el,v |
| 18 | retrieving revision 1.3 |
| 19 | retrieving revision 1.4 |
| 20 | diff -u -r1.3 -r1.4 |
| 21 | --- 50proofgeneral-gentoo.el 27 Feb 2008 21:26:46 -0000 1.3 |
| 22 | +++ 50proofgeneral-gentoo.el 11 Feb 2010 09:56:22 -0000 1.4 |
| 23 | @@ -1,5 +1,2 @@ |
| 24 | - |
| 25 | -;;; proofgeneral site-lisp configuration |
| 26 | - |
| 27 | (add-to-list 'load-path "@SITELISP@/generic") |
| 28 | (require 'proof-site) |