Move 3.5 to stable, remove old version.

4 files changed, 7 insertions, 56 deletions

diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog
index f305ed7971bf..c24d2f81cc6e 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,10 @@
 # ChangeLog for app-emacs/proofgeneral
 # Copyright 2000-2004 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.6 2004/06/24 22:20:35 agriffis Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.7 2004/10/09 14:08:23 mattam Exp $
+
+  09 Oct 2004; Matthieu Sozeau <mattam@gentoo.org> -proofgeneral-3.4.ebuild,
+  proofgeneral-3.5.ebuild:
+  Move 3.5 to stable, remove old version.
 
 *proofgeneral-3.5 (20 Jun 2004)
 
diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.4 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.4
deleted file mode 100644
index 4fdb13f9263e..000000000000
--- a/app-emacs/proofgeneral/files/digest-proofgeneral-3.4
+++ /dev/null
@@ -1 +0,0 @@
-MD5 83eafa68f0c733800b2da3a6a22c31d7 ProofGeneral-3.4.tar.gz 762807
diff --git a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild b/app-emacs/proofgeneral/proofgeneral-3.4.ebuild
deleted file mode 100644
index 3204df5cfc9d..000000000000
--- a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild
+++ /dev/null
@@ -1,52 +0,0 @@
-# Copyright 1999-2004 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.4.ebuild,v 1.6 2004/06/24 22:20:35 agriffis Exp $
-
-SIMPLE_ELISP='nil'
-inherit elisp
-
-MY_PN="ProofGeneral"
-
-DESCRIPTION="Proof General is a generic interface for proof assistants"
-HOMEPAGE="http://proofgeneral.inf.ed.ac.uk/"
-SRC_URI="http://proofgeneral.inf.ed.ac.uk/${MY_PN}-${PV}.tar.gz"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="x86 ppc"
-IUSE=""
-
-DEPEND="virtual/emacs"
-
-S="${WORKDIR}/${MY_PN}"
-
-SITEFILE=50proofgeneral-gentoo.el
-
-src_compile() {
-	einfo "Byte compilation not supported yet (see the INSTALL file)"
-}
-
-src_install() {
-	for dir in etc generic lego coq isa isar plastic demoisa hol98 phox twelf acl2
-	do
-		cd $dir
-		elisp-install ${PN}/$dir *
-		cd ..
-	done
-	elisp-site-file-install ${FILESDIR}/${SITEFILE}
-	dohtml doc/*.html doc/*.jpg
-	doinfo doc/*.info*
-	dobin bin/*
-	dodoc README* TODO AUTHORS BUGS CHANGES FAQ INSTALL REGISTER
-}
-
-pkg_postinst() {
-	elisp-site-regen
-	einfo "Please register your use of Proof General on the web at:"
-	einfo "  http://proofgeneral.inf.ed.ac.uk/register "
-	einfo "(see the REGISTER file for more information)"
-}
-
-pkg_postrm() {
-	elisp-site-regen
-}
diff --git a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild
index b51f3f3ab6ba..c15587a17313 100644
--- a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild
+++ b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2004 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.2 2004/06/24 22:20:35 agriffis Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.3 2004/10/09 14:08:23 mattam Exp $
 
 SIMPLE_ELISP='nil'
 inherit elisp
@@ -13,7 +13,7 @@ SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tar.gz"
 
 LICENSE="GPL-2"
 SLOT="0"
-KEYWORDS="~x86 ~ppc"
+KEYWORDS="x86 ppc"
 IUSE=""
 
 DEPEND="virtual/emacs"