Version bump. Remove missing file from dodoc arguments, bug 256683.

Package-Manager: portage-2.2_rc23/cvs/Linux i686

4 files changed, 65 insertions, 12 deletions

diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog
index f32f32230ce0..c4f8ac1f04f9 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for app-emacs/proofgeneral
-# Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.24 2008/12/06 17:23:50 fauli Exp $
+# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.25 2009/01/30 06:47:52 ulm Exp $
+
+*proofgeneral-3.7.1 (30 Jan 2009)
+
+  30 Jan 2009; Ulrich Mueller <ulm@gentoo.org> proofgeneral-3.7.ebuild,
+  +proofgeneral-3.7.1.ebuild:
+  Version bump. Remove missing file from dodoc arguments, bug 256683.
 
   06 Dec 2008; Christian Faulhammer <fauli@gentoo.org>
   -files/proofgeneral-3.5_isabelle-non-interactive.patch,
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest
index 9f4dc620869e..11887b15cd80 100644
--- a/app-emacs/proofgeneral/Manifest
+++ b/app-emacs/proofgeneral/Manifest
@@ -2,14 +2,16 @@
 Hash: SHA1
 
 AUX 50proofgeneral-gentoo.el 111 RMD160 47c0b68c0797346cb0c8f19b2113e31786697e89 SHA1 ed5d5b15645a86fe1eb000f5fb74ccc599459ee9 SHA256 e57baa810a64b4fdaa5602d183001b86ece583981fc4374575fc4716de468eac
+DIST ProofGeneral-3.7.1.tgz 2023176 RMD160 57740365463b0049f9409e9dc1e97bf66a81fb90 SHA1 8bfa5b8c8f670ac992628aa05824f4bf514673a2 SHA256 e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93
 DIST ProofGeneral-3.7.tgz 1981651 RMD160 3a7730e49ecd6f5a82f72e36851079c85c0e73ed SHA1 eca137e02e33e379ed8c807f7f0097c190295a1c SHA256 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e
-EBUILD proofgeneral-3.7.ebuild 1250 RMD160 7b33b5ae5c1707ad6988189ca2d7174e591b85d2 SHA1 2b60ce91b5bc0443e8cd2af61be79f5de74b6124 SHA256 881436c3d80cc0fc99e1cabf9c223f2889870784fab01c997f82e0dfaef5e7a1
-MISC ChangeLog 3562 RMD160 dc746cff62b79c5d3b55d7b25e0b98a82961f0fb SHA1 ab77b73262893765bd50c5f4c938aa2dddcd0688 SHA256 d32439b8c77de321787b35d78fcebb75b33b65ada95b8aaffffd3de6efcfb273
+EBUILD proofgeneral-3.7.1.ebuild 1256 RMD160 d357a5e95d2161d4117f2968e46c9bb263187bcb SHA1 534c9f1eeed10dbabf1eda257fd90ba8500201ce SHA256 7cd0061471d1e6d1ec7ad13db6c5ab6748a50708db4ea71eb11d7d6648bc57e1
+EBUILD proofgeneral-3.7.ebuild 1244 RMD160 daedb17521c750dc20c893c8f0769b24021c7ad7 SHA1 793d3b0c37c9ce59647fb03087272a3c08cff364 SHA256 4f70bd2262b48e9b5c93e6dcf8f64f18b567e49fb3cbf6777ab2473b7f76cd55
+MISC ChangeLog 3768 RMD160 9a2f39fb99fc5d2bd499ea420b913adcfa785d7c SHA1 3e7548a3c5f83334c63afe8ebf3b2713fe57e559 SHA256 0d19c8da112e6442a31065d361f59d2253c6324f453d12aa09fe9aaedb27a331
 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.9 (GNU/Linux)
+Version: GnuPG v1.4.9 (GNU/Linux)
 
-iEYEARECAAYFAkk6tS4ACgkQNQqtfCuFneO0WwCbBAqUjV1O1V/AugTPDDwFgjQk
-OaIAni+j1CnbyAlC1HW985L8Ggk5nVWp
-=eiXj
+iEYEARECAAYFAkmCotUACgkQOeoy/oIi7uxVPACfeN9cMfCRwJDm8I+F09JUuQqu
+fpUAoMUrKfs5IayRO9jVECllfcCthmtQ
+=mxVM
 -----END PGP SIGNATURE-----
diff --git a/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild b/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild
new file mode 100644
index 000000000000..783877b567ab
--- /dev/null
+++ b/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild
@@ -0,0 +1,45 @@
+# 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.1.ebuild,v 1.1 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 FUTURE 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)"
+}
diff --git a/app-emacs/proofgeneral/proofgeneral-3.7.ebuild b/app-emacs/proofgeneral/proofgeneral-3.7.ebuild
index a58a2baa0dfd..dd6bd8f37fb4 100644
--- a/app-emacs/proofgeneral/proofgeneral-3.7.ebuild
+++ b/app-emacs/proofgeneral/proofgeneral-3.7.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2008 Gentoo Foundation
+# 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.4 2008/04/12 08:58:07 nixnut Exp $
+# $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
 
@@ -15,7 +15,7 @@ KEYWORDS="amd64 ppc x86"
 IUSE=""
 
 S="${WORKDIR}/${MY_PN}-${PV}"
-SITEFILE=50${PN}-gentoo.el
+SITEFILE="50${PN}-gentoo.el"
 
 src_compile() {
 	emake compile EMACS=emacs
@@ -26,7 +26,7 @@ src_install() {
 
 	dohtml doc/*.html doc/*.jpg
 	doinfo doc/*.info*
-	dodoc AUTHORS BUGS CHANGES COMPATIBILITY FAQ INSTALL README REGISTER TODO
+	dodoc AUTHORS BUGS CHANGES COMPATIBILITY FAQ INSTALL README REGISTER
 
 	elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} \
 		|| die "elisp-site-file-install failed"