Remove these now that they have been committed to the FreeBSD ports tree.

Next stop GNOME 2.21.


git-svn-id: svn://creme-brulee.marcuscom.com/ports/trunk@9875 df743ca5-7f9a-e211-a948-0013205c9059

5 files changed, 0 insertions, 216 deletions

diff --git a/math/proofgeneral/files/patch-Makefile b/math/proofgeneral/files/patch-Makefile
deleted file mode 100644
index 94175219e..000000000
--- a/math/proofgeneral/files/patch-Makefile
+++ /dev/null
@@ -1,166 +0,0 @@
---- Makefile.orig	Sat Sep 23 05:26:01 2006
-+++ Makefile	Mon Mar  5 19:53:43 2007
-@@ -15,7 +15,7 @@
- 
- # Set this to "emacs" or "xemacs" according to your version of Emacs.
- # NB: this is also used to set default install path names below.
--EMACS=$(shell if [ -z "`which xemacs`" ]; then echo emacs; else echo xemacs; fi)
-+EMACS=${EMACS_NAME}
- 
- # We default to /usr rather than /usr/local because installs of
- # desktop and doc files under /usr/local are unlikely to work with
-@@ -23,8 +23,7 @@
- # individually before the install section.
- # NB: DEST_PREFIX is used for final destination prefix, in case we're
- # packaging into a build prefix rather than live root (e.g. in rpmbuild).
--PREFIX=/usr
--DEST_PREFIX=/usr
-+DEST_PREFIX=${PREFIX}
- 
- PWD=$(shell pwd)
- 
-@@ -78,7 +77,7 @@
- ##	     compiles.
- ##
- compile: .byte-compile
--	lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS)" ]; then rm -f .byte-compile; make .byte-compile; fi
-+	lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS_NAME)" ]; then rm -f .byte-compile; $(MAKE) .byte-compile; fi
- 
- 
- .byte-compile: $(EL) x-symbol/lisp/*.el
-@@ -136,42 +135,37 @@
- # Set Elisp directories according to paths used in Red Hat RPMs
- # (which may or may not be official Emacs policy).  We generate
- # a pg-init.el file which loads the appropriate proof-site.el.
--ifeq ($(EMACS),xemacs) 
--ELISPP=share/xemacs/site-packages/lisp/ProofGeneral
--ELISP_START=${PREFIX}/share/xemacs/site-packages/lisp/site-start.d
--else
--ELISPP=share/${EMACS}/site-lisp/ProofGeneral
--ELISP_START=${PREFIX}/share/${EMACS}/site-lisp/site-start.d
--endif
-+ELISPP=${EMACS_SITE_LISPDIR}/proofgeneral
-+ELISP_START=${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d
- 
- ELISP=${PREFIX}/${ELISPP}
- DEST_ELISP=${DEST_PREFIX}/${ELISPP}
- 
- BINDIR=${PREFIX}/bin
- DESKTOP=${PREFIX}/share
--DOCDIR=${PREFIX}/share/doc/ProofGeneral
--MANDIR=${PREFIX}/share/man/man1
--INFODIR=${PREFIX}/share/info
-+DOCDIR=${DOCSDIR}
-+MANDIR=${PREFIX}/man/man1
-+INFODIR=${PREFIX}/info
- 
--install: install-desktop install-elisp install-bin install-init
-+install: install-desktop install-elisp install-bin install-init ${INSTALLDOC}
- 
- install-desktop:
--	mkdir -p ${DESKTOP}/icons/hicolor/16x16
--	cp etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16
--	mkdir -p ${DESKTOP}/icons/hicolor/32x32
--	cp etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32
--	mkdir -p ${DESKTOP}/icons/hicolor/48x48
--	cp etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48
--	mkdir -p ${DESKTOP}/pixmaps
--	cp etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps
--	mkdir -p ${DESKTOP}/applications
--	cp etc/desktop/proofgeneral.desktop ${DESKTOP}/applications
--	mkdir -p ${DESKTOP}/mime-info
--	cp etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info
--	cp etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info
-+	if [ -d ${DESKTOP}/icons/hicolor ]; then \
-+	  ${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16; \
-+	  ${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32; \
-+	  ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48; \
-+	fi
-+
-+	if [ -d ${DESKTOP} ]; then \
-+	  ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps; \
-+	  ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications; \
-+	  ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info; \
-+	  ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info; \
-+	fi
-+
- # backwards compatibility with old linuxes
--	mkdir -p ${DESKTOP}/application-registry
--	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
-+	mkdir -p ${DESKTOP}/application-registry
-+	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
- 
- # NB: .el files are not strictly necessary, but we package/install them
- # for the time being to help with debugging, or for users to recompile.
-@@ -186,15 +180,23 @@
- install-el:
- 	mkdir -p ${ELISP}
- 	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
--	for f in ${ELISP_DIRS}; do cp -pf $$f/*.el ${ELISP}/$$f; done
--	for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done
--	for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
-+	for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.el ${ELISP}/$$f; done
-+	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_DATA} $$f ${ELISP}/$$f; done
-+	for f in ${EXTRA_DIRS}; \
-+		do for g in `find -d $$f -type d`; \
-+		   do mkdir -p ${ELISP}/$$g; \
-+		      files=`find $$g -depth 1 -type f \\! -perm +u+x`; \
-+		      if [ "$$files" != "" ]; then ${BSD_INSTALL_DATA} $$files ${ELISP}/$$g; fi; \
-+		      scripts=`find $$g -depth 1 -type f -perm +u+x`; \
-+		      if [ "$$scripts" != "" ]; then ${BSD_INSTALL_SCRIPT} $$scripts ${ELISP}/$$g; fi; \
-+		   done; \
-+	    done
- 
- install-elc: compile
- 	mkdir -p ${ELISP}
- 	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
--	for f in ${ELISP_DIRS}; do cp -pf $$f/*.elc ${ELISP}/$$f; done
--	for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
-+	for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.elc ${ELISP}/$$f; done
-+	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_DATA} $$f ${ELISP}/$$f; done
- 
- install-init:
- 	mkdir -p ${ELISP_START}
-@@ -204,24 +206,31 @@
- 
- install-bin: scripts
- 	mkdir -p ${BINDIR}
--	cp -pf ${BIN_SCRIPTS} ${BINDIR}
-+	${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}
- 
--install-doc: doc.info doc.pdf
-+install-doc: doc.info doc.pdf doc.html
- 	mkdir -p ${MANDIR}
--	cp -pf doc/proofgeneral.1 ${MANDIR}
--	mkdir -p ${INFODIR}
--	cp -pf doc/*.info ${INFODIR}
--	/sbin/install-info ${INFODIR}/ProofGeneral.info* ${INFODIR}/dir
--	/sbin/install-info ${INFODIR}/PG-adapting.info* ${INFODIR}/dir
-+	${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR}
-+	${BSD_INSTALL_MAN} doc/PG-adapting.info ${INFODIR}
-+	${BSD_INSTALL_MAN} doc/ProofGeneral.info ${INFODIR}
- 	mkdir -p ${DOCDIR}
--	for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
--	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
-+	for f in ${DOC_FILES}; do ${BSD_INSTALL_MAN} $$f ${DOCDIR}; done
-+	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; \
-+		${BSD_INSTALL_MAN} $$f ${DOCDIR}/$$f; done
-+	mkdir -p ${DOCDIR}/ProofGeneral
-+	for f in doc/ProofGeneral/*.html; do \
-+		${BSD_INSTALL_MAN} $$f ${DOCDIR}/ProofGeneral/`basename $$f`; done
-+	mkdir -p ${DOCDIR}/PG-adapting
-+	for f in doc/PG-adapting/*.html; do \
-+		${BSD_INSTALL_MAN} $$f ${DOCDIR}/PG-adapting/`basename $$f`; done
-+	for f in ProofGeneral.pdf PG-adapting.pdf; do \
-+		${BSD_INSTALL_MAN} doc/$$f ${DOCDIR}/$$f; done
- 
- doc: FORCE
--	(cd doc; make $*)
-+	(cd doc; $(MAKE) $*)
- 
- doc.%: FORCE
--	(cd doc; make $*)
-+	(cd doc; $(MAKE) $*)
- 
- ##
- ## scripts: try to patch bash and perl scripts with correct paths
diff --git a/math/proofgeneral/files/patch-doc-Makefile.doc b/math/proofgeneral/files/patch-doc-Makefile.doc
deleted file mode 100644
index 5de6e3a9a..000000000
--- a/math/proofgeneral/files/patch-doc-Makefile.doc
+++ /dev/null
@@ -1,17 +0,0 @@
---- doc/Makefile.doc.orig	Thu Dec  8 07:39:33 2005
-+++ doc/Makefile.doc	Thu Dec  8 07:39:46 2005
-@@ -153,10 +153,10 @@
- ## texi: update magic comments in texi from docstrings in code.
- ##	  (developer use only!)
- ##
--$(DOCNAME).texi: ../*/*.el 
--	$(MAKE) magic
--magic:
--	$(EMACS) $(EMACSFLAGS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
-+#$(DOCNAME).texi: ../*/*.el 
-+#	$(MAKE) magic
-+#magic:
-+#	$(EMACS) $(EMACSFLAGS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
- 
- 
- 
diff --git a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
deleted file mode 100644
index aefef292b..000000000
--- a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
+++ /dev/null
@@ -1,11 +0,0 @@
---- etc/desktop/proofgeneral.desktop.orig	Thu Dec  8 07:40:38 2005
-+++ etc/desktop/proofgeneral.desktop	Thu Dec  8 07:41:03 2005
-@@ -5,7 +5,7 @@
- Name=Proof General
- GenericName=Theorem proving environment
- Comment=Organise your proofs!
--Icon=proofgeneral.png
-+Icon=%%PREFIX%%/share/pixmaps/proofgeneral.png
- FilePattern=proofgeneral
- TryExec=proofgeneral
- Exec=proofgeneral %F
diff --git a/math/proofgeneral/files/patch-isa_isabelle-system.el b/math/proofgeneral/files/patch-isa_isabelle-system.el
deleted file mode 100644
index 9c2a901f7..000000000
--- a/math/proofgeneral/files/patch-isa_isabelle-system.el
+++ /dev/null
@@ -1,13 +0,0 @@
---- isa/isabelle-system.el.orig	Thu Dec  8 07:43:17 2005
-+++ isa/isabelle-system.el	Thu Dec  8 07:43:38 2005
-@@ -74,10 +74,6 @@
- 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)
diff --git a/math/proofgeneral/files/pkg-message.in b/math/proofgeneral/files/pkg-message.in
deleted file mode 100644
index c82227e9a..000000000
--- a/math/proofgeneral/files/pkg-message.in
+++ /dev/null
@@ -1,9 +0,0 @@
--------------------------------------------------------------------------------
-Please register your interest in this software before use:
-        http://proofgeneral.inf.ed.ac.uk/register
-
-To load Proof General automatically when starting x/emacs, add the following
-line to the .emacs or .xemacs/init.el file:
-  (load-file "%%PREFIX%%/%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.el")
-
-------------------------------------------------------------------------------