ulm 14/06/07 11:40:22 Modified: ChangeLog proofgeneral-4.2.ebuild Removed: proofgeneral-4.1.ebuild Log: Remove redundant NEED_EMACS assignment. Remove old. (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 9433907D693FB5B8!)
Revision Changes Path 1.43 app-emacs/proofgeneral/ChangeLog file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/ChangeLog?rev=1.43&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/ChangeLog?rev=1.43&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/ChangeLog?r1=1.42&r2=1.43 Index: ChangeLog =================================================================== RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v retrieving revision 1.42 retrieving revision 1.43 diff -u -r1.42 -r1.43 --- ChangeLog 15 Feb 2014 00:48:54 -0000 1.42 +++ ChangeLog 7 Jun 2014 11:40:21 -0000 1.43 @@ -1,6 +1,11 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.42 2014/02/15 00:48:54 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.43 2014/06/07 11:40:21 ulm Exp $ + + 07 Jun 2014; Ulrich Müller <[email protected]> -proofgeneral-4.1.ebuild, + proofgeneral-4.2.ebuild, -files/proofgeneral-4.1-emacs-24.patch, + -files/proofgeneral-4.1-image-load-path.patch: + Remove redundant NEED_EMACS assignment. Remove old. 15 Feb 2014; Ulrich Müller <[email protected]> -proofgeneral-3.7.1.ebuild: Remove old. 1.5 app-emacs/proofgeneral/proofgeneral-4.2.ebuild file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild?rev=1.5&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild?rev=1.5&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild?r1=1.4&r2=1.5 Index: proofgeneral-4.2.ebuild =================================================================== RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v retrieving revision 1.4 retrieving revision 1.5 diff -u -r1.4 -r1.5 --- proofgeneral-4.2.ebuild 24 Dec 2013 12:45:52 -0000 1.4 +++ proofgeneral-4.2.ebuild 7 Jun 2014 11:40:21 -0000 1.5 @@ -1,9 +1,8 @@ -# Copyright 1999-2013 Gentoo Foundation +# Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.4 2013/12/24 12:45:52 ago Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.5 2014/06/07 11:40:21 ulm Exp $ EAPI=5 -NEED_EMACS=23 inherit elisp @@ -15,7 +14,6 @@ LICENSE="GPL-2" SLOT="0" KEYWORDS="amd64 ppc x86" -IUSE="" DEPEND=">=app-emacs/mmm-mode-0.4.8-r2" RDEPEND="${DEPEND}" @@ -37,7 +35,7 @@ src_install() { emake -j1 install EMACS=emacs PREFIX="${D}"/usr - elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} || die + elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} doinfo doc/*.info* doman doc/proofgeneral.1
