diff options
| author |   Christian Faulhammer <fauli@gentoo.org> | 2009-08-17 20:06:26 +0000 |
|---|---|---|
| committer | Christian Faulhammer <fauli@gentoo.org> | 2009-08-17 20:06:26 +0000 |
| commit | 6c4325657dd1015d4d11b5b0b0f0cc43b497d816 (patch) | |
| tree | ef5859f49d53296ea9028f41b6d04c52a47b3988 /app-emacs/proofgeneral | |
| parent | clean up (diff) | |
| download | gentoo-2-6c4325657dd1015d4d11b5b0b0f0cc43b497d816.tar.gz gentoo-2-6c4325657dd1015d4d11b5b0b0f0cc43b497d816.tar.bz2 gentoo-2-6c4325657dd1015d4d11b5b0b0f0cc43b497d816.zip | |
clean up
(Portage version: 2.1.6.13/cvs/Linux i686)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 6 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.7.ebuild | 45 |
2 files changed, 5 insertions, 46 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 784a60390796..972de47ca56e 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.28 2009/06/11 19:41:23 maekke Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.29 2009/08/17 20:06:26 fauli Exp $ + + 17 Aug 2009; Christian Faulhammer <fauli@gentoo.org> + -proofgeneral-3.7.ebuild: + clean up 11 Jun 2009; Markus Meier <maekke@gentoo.org> proofgeneral-3.7.1.ebuild: amd64 stable, bug #272471 diff --git a/app-emacs/proofgeneral/proofgeneral-3.7.ebuild b/app-emacs/proofgeneral/proofgeneral-3.7.ebuild deleted file mode 100644 index dd6bd8f37fb4..000000000000 --- a/app-emacs/proofgeneral/proofgeneral-3.7.ebuild +++ /dev/null @@ -1,45 +0,0 @@ -# Copyright 1999-2009 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild,v 1.5 2009/01/30 06:47:52 ulm Exp $ - -inherit elisp - -MY_PN="ProofGeneral" -DESCRIPTION="A generic interface for proof assistants" -HOMEPAGE="http://proofgeneral.inf.ed.ac.uk/" -SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tgz" - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="amd64 ppc x86" -IUSE="" - -S="${WORKDIR}/${MY_PN}-${PV}" -SITEFILE="50${PN}-gentoo.el" - -src_compile() { - emake compile EMACS=emacs -} - -src_install() { - emake install EMACS=emacs PREFIX="${D}"/usr - - dohtml doc/*.html doc/*.jpg - doinfo doc/*.info* - dodoc AUTHORS BUGS CHANGES COMPATIBILITY FAQ INSTALL README REGISTER - - elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} \ - || die "elisp-site-file-install failed" - - # clean up - rm -rf "${D}/usr/share/emacs/site-lisp/site-start.d" - rm -rf "${D}/usr/share/application-registry" - rm -rf "${D}/usr/share/mime-info" -} - -pkg_postinst() { - elisp-site-regen - elog "Please register your use of Proof General on the web at:" - elog " http://proofgeneral.inf.ed.ac.uk/register " - elog "(see the REGISTER file for more information)" -} |