5 files changed, 0 insertions, 220 deletions
diff --git a/math/proofgeneral/files/patch-Makefile b/math/proofgeneral/files/patch-Makefile
deleted file mode 100644
index 0de221d9298c..000000000000
--- a/math/proofgeneral/files/patch-Makefile
+++ /dev/null
@@ -1,111 +0,0 @@
---- Makefile.orig	2010-10-10 15:56:56.000000000 -0700
-+++ Makefile	2012-04-11 22:30:19.000000000 -0700
-@@ -41,7 +41,7 @@
- ELISP_EXTRAS=isar/interface isar/isartags
- EXTRA_DIRS = images
- 
--DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER doc/*.pdf
-+DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER
- DOC_EXAMPLES=acl2/*.acl2 hol98/*.sml isar/*.thy lclam/*.lcm lego/*.l pgshell/*.pgsh phox/*.phx plastic/*.lf twelf/*.elf
- DOC_SUBDIRS=${DOC_EXAMPLES} */README* */CHANGES */BUGS 
- 
-@@ -135,22 +135,23 @@
- MANDIR=${PREFIX}/share/man/man1
- INFODIR=${PREFIX}/share/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
-+	for f in 16x16 32x32 48x48; do \
-+		if [ ! -d "${DESKTOP}/icons/hicolor/$$f" ]; then \
-+			mkdir -p ${DESKTOP}/icons/hicolor/$$f; \
-+		fi; \
-+	done
-+	${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/
-+	${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps/
-+	${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications
-+	if [ ! -d ${DESKTOP}/mime-info ]; then mkdir ${DESKTOP}/mime-info; fi
-+	${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info/
-+	${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info/
-+
- # backwards compatibility with old linuxes
- 	mkdir -p ${DESKTOP}/application-registry
- 	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
-@@ -168,15 +169,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_SCRIPT} $$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_SCRIPT} $$f ${ELISP}/$$f; done
- 
- install-init:
- 	mkdir -p ${ELISP_START}
-@@ -186,18 +195,23 @@
- 
- 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.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
- 
- doc: FORCE
- 	(cd doc; $(MAKE) EMACS=$(EMACS) $*)
diff --git a/math/proofgeneral/files/patch-doc-Makefile.doc b/math/proofgeneral/files/patch-doc-Makefile.doc
deleted file mode 100644
index 67bde09313fd..000000000000
--- a/math/proofgeneral/files/patch-doc-Makefile.doc
+++ /dev/null
@@ -1,75 +0,0 @@
---- doc/Makefile.doc.orig	2011-05-05 10:46:27.000000000 -0700
-+++ doc/Makefile.doc	2012-07-10 15:19:30.000000000 -0700
-@@ -18,7 +18,7 @@
- 
- MAKE = make -f Makefile.doc 
- MAKEINFO = makeinfo
--TEXI2HTML = texi2html -expandinfo -number -split_chapter --noheader
-+TEXI2HTML = texi2html -expandinfo -number-sections -split_chapter --noheader
- # `texinfo-tex' package contains texi2pdf
- TEXI2PDF = texi2pdf
- # `dviutils' package contains these useful utilities.
-@@ -40,16 +40,13 @@
- 
- TMPFILE=pgt
- 
--.SUFFIXES:  .texi .info .html .pdf .gz
-+.SUFFIXES:  .texi .info .html .gz
- 
- default: doc
- 
- .texi.info:
- 	$(MAKEINFO) $< 
- 
--.texi.pdf:
--	$(TEXI2PDF) $< 
--
- .texi.html:	
- 	$(TEXI2HTML) --output $* $< 
- 
-@@ -61,21 +58,19 @@
- 	gzip -f -9 $*
- 
- ## 
--## doc : build pdf, info files from $(DOCNAME).texi
-+## doc : build info files from $(DOCNAME).texi
- ##
--doc:	pdf info
-+doc:	info
- 
- ## 
- ## all : build all documentation targets
- ##
--all:    html info pdf
-+all:    html info
- 
- ##
- ## dist: build distribution targets
- ##
--dist:   info html pdf
--
--pdf:    $(DOCNAME).pdf
-+dist:   info html
- 
- # da: target is a fake: we actually make in a subdir
- html:   $(DOCNAME).html
-@@ -97,18 +92,13 @@
- ## distclean: Remove documentation targets
- ##
- distclean:   clean
--	rm -rf $(DOCNAME).info* $(DOCNAME).pdf $(DOCNAME)
-+	rm -rf $(DOCNAME).info* $(DOCNAME)
- 
- ##
- ## texi: update magic comments in texi from docstrings in code.
- ##	  (developer use only!)
- ##       Must be run from source .els otherwise function arguments lost
- ##
--$(DOCNAME).texi: 
--	$(MAKE) magic
--magic:
--	(cd ..; make clean)
--	$(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
- 
- debugmagic:
- 	$(EMACS) $(EMACFLAGS)  -eval '(setq debug-on-error t)' -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 04bae45e1bcc..000000000000
--- a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
+++ /dev/null
@@ -1,11 +0,0 @@
---- etc/desktop/proofgeneral.desktop.orig	2012-04-11 20:39:33.000000000 -0700
-+++ etc/desktop/proofgeneral.desktop	2012-04-11 20:41:16.000000000 -0700
-@@ -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-isar-interface b/math/proofgeneral/files/patch-isar-interface
deleted file mode 100644
index 97da1fbb35f7..000000000000
--- a/math/proofgeneral/files/patch-isar-interface
+++ /dev/null
@@ -1,11 +0,0 @@
---- isar/interface.orig	2011-01-27 11:54:20.000000000 -0800
-+++ isar/interface	2012-04-11 20:26:06.000000000 -0700
-@@ -57,7 +57,7 @@
- UNICODE=""
- FONT=""
- GEOMETRY=""
--PROGNAME="emacs"
-+PROGNAME="%%EMACS_NAME%%"
- INITFILE="true"
- WINDOWSYSTEM="true"
- UNICODE_SYMBOLS=""
diff --git a/math/proofgeneral/files/pkg-message.in b/math/proofgeneral/files/pkg-message.in
deleted file mode 100644
index c14b4ae3c4c1..000000000000
--- a/math/proofgeneral/files/pkg-message.in
+++ /dev/null
@@ -1,12 +0,0 @@
-[
-{ type: install
-  message: <<EOM
-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")
-EOM
-}
-]