clean up

(Portage version: 2.1.4.5)

3 files changed, 6 insertions, 84 deletions

diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog
index 784024e33ec6..f32f32230ce0 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,11 @@
 # 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.23 2008/11/17 19:57:17 flameeyes Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.24 2008/12/06 17:23:50 fauli Exp $
+
+  06 Dec 2008; Christian Faulhammer <fauli@gentoo.org>
+  -files/proofgeneral-3.5_isabelle-non-interactive.patch,
+  -proofgeneral-3.5-r1.ebuild:
+  clean up
 
   17 Nov 2008; Diego E. Pettenò <flameeyes@gentoo.org>
   files/proofgeneral-3.5_isabelle-non-interactive.patch:
diff --git a/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch b/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch
deleted file mode 100644
index e81ad7a1178c..000000000000
--- a/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch
+++ /dev/null
@@ -1,29 +0,0 @@
---- a/isa/isabelle-system.el	2006-11-02 21:09:59.000000000 +0100
-+++ b/isa/isabelle-system.el	2006-11-02 21:10:36.000000000 +0100
-@@ -64,26 +64,6 @@
- (defvar isatool-not-found nil
-   "Non-nil if user has been prompted for `isatool' already and it wasn't found.")
- 
--(defun isa-set-isatool-command ()
--  "Make sure isa-isatool-command points to a valid executable.
--If it does not, prompt the user for the proper setting.
--If it appears we're running on win32 or FSF Emacs, we allow this to
--remain unverified.
--Returns non-nil if isa-isatool-command is surely an executable
--with full path."
--  (interactive)
--  (unless (or isatool-not-found (file-executable-p isa-isatool-command))
--    (setq isa-isatool-command
--	  (read-file-name
--	   "Please give the full path to `isatool' (RET if you don't have it): "
--	   nil nil nil))
--    (if (not (file-executable-p isa-isatool-command))
--	(progn
--	  (setq isatool-not-found t)
--	  (beep)
--	  (warn "Proof General: isatool command not found; some menus will be incomplete."))))
--  (file-executable-p isa-isatool-command))
--
- (defun isa-shell-command-to-string (command)
-   "Like shell-command-to-string except the last character is stripped."
-   ;; FIXME: sometimes the command may fail. This will usually cause PG
diff --git a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
deleted file mode 100644
index 2cc4f0f9d859..000000000000
--- a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
+++ /dev/null
@@ -1,54 +0,0 @@
-# Copyright 1999-2007 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.7 2007/10/16 06:27:25 opfer Exp $
-
-inherit elisp eutils
-
-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}.tar.gz"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="amd64 ppc x86"
-IUSE=""
-
-S="${WORKDIR}/${MY_PN}"
-
-SITEFILE=50${PN}-gentoo.el
-
-src_unpack() {
-	unpack ${A}
-	cd "${S}"
-	epatch "${FILESDIR}/${P}_isabelle-non-interactive.patch"
-}
-
-src_compile() {
-	echo "" | emake compile EMACS=emacs
-}
-
-src_install() {
-	emake install EMACS=emacs PREFIX="${D}"/usr
-
-	dohtml doc/*.html doc/*.jpg
-	doinfo doc/*.info*
-	dodoc README* TODO AUTHORS BUGS CHANGES FAQ INSTALL REGISTER
-
-	# We directly use the site file of the package
-	cd "${D}/usr/share/emacs/site-lisp"
-	mv site-start.d/pg-init.el ${SITEFILE}
-
-	# clean up
-	rmdir 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)"
-}