Attachment #74223 for bug #107414

View | Details | Raw Unified | Return to bug 107414
Collapse All | Expand All




# Date created:        11 August 2005
# Whom:                Timothy Bourke <timbob@bigpond.com>
#
# $FreeBSD$
#

PORTNAME=	proofgeneral
PORTVERSION=	3.6
PORTREVISION=	2
CATEGORIES=	math elisp
MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
DISTNAME=	ProofGeneral-3.6pre061107

MAINTAINER=	timbob@bigpond.com
COMMENT=	A generic interface for proof assistants

PKGNAMESUFFIX+=	-${EMACS_NAME}

BUILD_DEPENDS+=	bash:${PORTSDIR}/shells/bash
RUN_DEPENDS+=	${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme

BROKEN=		Incomplete pkg-plist
DEPRECATED=	Needs to be rewritten to not include bsd.emacs.mk
EXPIRATION_DATE=2007-02-07

.include <bsd.port.pre.mk>

.if ${ARCH} == "amd64"
BROKEN="Does not build on amd64"
.endif

#
# Unless EMACS_PORT_NAME is overriden by the user,

.if !defined(EMACS_PORT_NAME)
.if !exists(${LOCALBASE}/bin/emacs)
EMACS_PORT_NAME=xemacs21-mule
BUILD_DEPENDS+=	${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
RUN_DEPENDS+=	${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}

# xemacs21-mule does not depend on xemacs-packages, so add a dependency here
BUILD_DEPENDS+=	${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
RUN_DEPENDS+=	${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
.else
EMACS_PORT_NAME=emacs
BUILD_DEPENDS+=	${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
RUN_DEPENDS+=	${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
.endif
.endif

# Needed for proper build- and run-time [x]xemacs dependencies,
# and the definition of EMACS_NAME and EMACS_SITE_LISPDIR
.include "${PORTSDIR}/Mk/bsd.emacs.mk"

MAKE_ARGS+=	EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
USE_EMACS=	yes
USE_GMAKE=	yes
USE_GNOME=	gnomehier
INSTALLS_ICONS=	yes
USE_PERL5=	yes

.include <bsd.port.pre.mk>

.if ${ARCH} == "amd64"
BROKEN="Does not build on amd64"
.endif

MAKE_ARGS+=	EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}

SUB_FILES=	pkg-message
SUB_LIST=	EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}


INFO=		PG-adapting ProofGeneral

.if !defined(NOPORTDOCS)
MAKE_ARGS+=	DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
		ProofGeneral.pdf PG-adapting.pdf
MAKE_ARGS+=	INSTALL_DOC=doc.pdf
BUILD_DEPENDS+=	${LOCALBASE}/bin/texi2pdf:${PORTSDIR}/print/teTeX-base
.endif


	${TOUCH} ${WRKSRC}/.byte-compile

pre-build:
#.if defined(BYTE_COMPILE)
	@${RM} ${WRKSRC}/.byte-compile || ${TRUE}
#.endif

post-install:
.if !defined(NOPORTDOCS)
	${MKDIR} ${DOCSDIR}
.for file in ${PORTDOCS}
	${INSTALL_DATA} ${WRKSRC}/doc/${file} ${DOCSDIR}
.endfor
.endif
	@${CAT} ${PKGMESSAGE}

.include <bsd.port.post.mk>

Lines 1-3 Link Here

(-)distinfo (-3 / +3 lines)
1	MD5 (ProofGeneral-3.6pre051004.tar.gz) = 84d7c8ee9db2e52d1891b66da1e74ef8	1	MD5 (ProofGeneral-3.6pre061107.tar.gz) = 679dc2c9951f305959420e7514416dcb
2	SHA256 (ProofGeneral-3.6pre051004.tar.gz) = b0c755df755de00ed2865a5ce3a4719bb48e70da7694fad67a610a5d97a3c043	2	SHA256 (ProofGeneral-3.6pre061107.tar.gz) = c3c2877e0c4c823b48129e3abaa1ca2e82581664999a9f140cdda89086f32fb5
3	SIZE (ProofGeneral-3.6pre051004.tar.gz) = 2243863	3	SIZE (ProofGeneral-3.6pre061107.tar.gz) = 1906638




bin/coqtags
bin/interface
bin/legotags
bin/proofgeneral
bin/legotags
bin/coqtags
bin/isartags
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/x-symbol-acl2.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/x-symbol-acl2.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/ccc/ccc.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/ccc/ccc.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-autotest.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-db.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-local-vars.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-autotest.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-db.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-local-vars.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/x-symbol-isar.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/interface
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isartags
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/x-symbol-isar.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lclam/lclam.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lclam/lclam.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/pgshell/pgshell.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/pgshell/pgshell.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-extraction.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-font.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-fun.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-lang.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-outline.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-pbrpm.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-sym-lock.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-tags.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/x-symbol-phox.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-extraction.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-font.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-fun.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-lang.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-outline.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-pbrpm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-sym-lock.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-tags.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/x-symbol-phox.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-font.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-old.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/x-symbol-twelf.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-font.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-old.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/x-symbol-twelf.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-metadata.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-resolve.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-resolve.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-response.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-response.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-thymodes.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-thymodes.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-user.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-user.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xml.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xml.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-autoloads.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-autoloads.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-config.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-config.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-depends.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-depends.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-easy-config.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-easy-config.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-indent.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-indent.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-menu.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-menu.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-mmm.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-mmm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-script.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-script.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-shell.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-splash.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-splash.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-utils.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-utils.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-x-symbol.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-response.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-thymodes.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-user.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xml.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-autoloads.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-config.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-depends.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-easy-config.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-indent.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-menu.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-mmm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-script.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-shell.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-splash.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-utils.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-x-symbol.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/bufhist.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.8bit.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.jpg
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/README
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/favicon.icon
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/hiddenproof.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.8bit.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.jpg
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/x-symbol-isar.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/x-symbol-isar.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lclam/lclam.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lclam/lclam.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego-syntax.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego-syntax.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes-load.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes-load.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/local-vars-list.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/proof-compat.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/proof-compat.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-extent.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-extent.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-overlay.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-overlay.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/texi-docstring-magic.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/texi-docstring-magic.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/xml-fixed.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/bufhist.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes-load.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/proof-compat.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-extent.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-overlay.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/texi-docstring-magic.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/xml-fixed.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-auto.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-auto.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-class.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-class.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cmds.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cmds.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-compat.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cweb.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mason.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mason.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mode.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-noweb.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-region.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-region.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-rpm.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-rpm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-sample.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-sample.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-univ.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-univ.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-utils.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-utils.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-vars.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-auto.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-class.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cmds.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-compat.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cweb.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mason.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mode.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-noweb.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-region.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-rpm.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-sample.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-univ.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-utils.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-vars.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/hiddenproof.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.8bit.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.8bit.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.jpg
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.gif
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/README
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/favicon.icon
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.jpg
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.8bit.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo/MANIFEST.x-symbol
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/custom-load.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unichars.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/auto-autoloads.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/makefile.pkg
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unicode.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-vars.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-hooks.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unicode-in-progress.patch
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-nomule.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-unicode-extras.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/_pkg.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/Makefile
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-xmacs.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-emacs.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-hooks.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-vars.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/ChangeLog
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts/fonts.tar
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts/README
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/drawing.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/escherknot.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/3helvR12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/3helvR14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/5etl14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/5etl16.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/Makefile
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/heriR12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/heriR14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/3helvR14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/3helvR12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_18.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_18.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_24.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_24.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_18.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_24.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/5etl14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_18.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/nilxs.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/makesub
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/Makefile
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR18sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/hourglass.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR18.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR24.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/fonts.dir
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR18sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR18sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/nilxs.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR18sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/nilxs.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14sub.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14sup.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18.pcf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR18.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR24.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR14.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR12.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl16sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR12sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl16sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sub.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/recycle.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/colormap138.xpm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/drawing.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/RIP.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/hourglass.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/Makefile.emacs
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/termlock.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/escherknot.xbm
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.texi
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/Makefile
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/_pkg.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/auto-autoloads.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/custom-load.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/makefile.pkg
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-emacs.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-hooks.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-hooks.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-nomule.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-vars.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-vars.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-xmacs.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.el
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.elc
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/Makefile
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.css
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.init
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/Makefile
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info/x-symbol.info
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/README.x-symbol-for-ProofGeneral
%%EMACS_SITE_LISPDIR%%/site-start.d/pg-init.el
share/gnome/application-registry/proofgeneral.applications
share/gnome/applications/proofgeneral.desktop
share/gnome/mime-info/proofgeneral.keys
share/gnome/mime-info/proofgeneral.mime
share/gnome/pixmaps/proofgeneral.png
share/icons/hicolor/16x16/proofgeneral.png
share/icons/hicolor/32x32/proofgeneral.png
share/icons/hicolor/48x48/proofgeneral.png
%%PORTDOCS%%%%DOCSDIR%%/AUTHORS
%%PORTDOCS%%%%DOCSDIR%%/BUGS
%%PORTDOCS%%%%DOCSDIR%%/CHANGES
%%PORTDOCS%%%%DOCSDIR%%/COPYING
%%PORTDOCS%%%%DOCSDIR%%/INSTALL
%%PORTDOCS%%%%DOCSDIR%%/README.exper
%%PORTDOCS%%%%DOCSDIR%%/REGISTER
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting.pdf
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral.pdf
%%PORTDOCS%%%%DOCSDIR%%/acl2/example.acl2
%%PORTDOCS%%%%DOCSDIR%%/acl2/root2.acl2
%%PORTDOCS%%%%DOCSDIR%%/hol98/example.sml
%%PORTDOCS%%%%DOCSDIR%%/hol98/root2.sml
%%PORTDOCS%%%%DOCSDIR%%/isa/Example-Xsym.ML
%%PORTDOCS%%%%DOCSDIR%%/isa/Example.ML
%%PORTDOCS%%%%DOCSDIR%%/isa/Example2.ML
%%PORTDOCS%%%%DOCSDIR%%/isa/Example.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Example-Xsym.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Example.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/KnasterTarski.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Isar.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Root2_Tactic.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Tarski.thy
%%PORTDOCS%%%%DOCSDIR%%/lclam/example.lcm
%%PORTDOCS%%%%DOCSDIR%%/lego/example.l
%%PORTDOCS%%%%DOCSDIR%%/lego/example2.l
%%PORTDOCS%%%%DOCSDIR%%/lego/root2.l
%%PORTDOCS%%%%DOCSDIR%%/pgshell/example.pgsh
%%PORTDOCS%%%%DOCSDIR%%/phox/example.phx
%%PORTDOCS%%%%DOCSDIR%%/phox/square-root-2.phx
%%PORTDOCS%%%%DOCSDIR%%/plastic/test.lf
%%PORTDOCS%%%%DOCSDIR%%/twelf/example.elf
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_1.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_10.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_11.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_12.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_13.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_14.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_15.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_16.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_17.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_18.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_19.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_2.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_20.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_21.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_3.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_4.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_5.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_6.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_7.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_8.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_9.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_abt.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_fot.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_toc.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_1.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_10.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_11.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_12.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_13.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_14.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_15.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_16.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_17.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_18.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_19.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_2.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_3.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_4.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_5.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_6.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_7.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_8.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_9.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_abt.html
%%PORTDOCS%%%%DOCSDIR%%/PG-adapting/PG-adapting_toc.html
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/ccc
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/coq
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/hol98
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isa
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isar
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lclam
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lego
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/pgshell
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/phox
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/plastic
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/twelf
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/generic
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lib
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/mmm
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/images
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/twelf
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/plastic
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/phox
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/mmm
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lib
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lego
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lclam
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isar
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isa
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/images
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/hol98
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/generic
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/coq
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral
@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
%%PORTDOCS%%@dirrm %%DOCSDIR%%/acl2
%%PORTDOCS%%@dirrm %%DOCSDIR%%/hol98
%%PORTDOCS%%@dirrm %%DOCSDIR%%/isa
%%PORTDOCS%%@dirrm %%DOCSDIR%%/isar
%%PORTDOCS%%@dirrm %%DOCSDIR%%/lclam
%%PORTDOCS%%@dirrm %%DOCSDIR%%/lego
%%PORTDOCS%%@dirrm %%DOCSDIR%%/pgshell
%%PORTDOCS%%@dirrm %%DOCSDIR%%/phox
%%PORTDOCS%%@dirrm %%DOCSDIR%%/plastic
%%PORTDOCS%%@dirrm %%DOCSDIR%%/twelf
%%PORTDOCS%%@dirrm %%DOCSDIR%%/ProofGeneral
%%PORTDOCS%%@dirrm %%DOCSDIR%%/PG-adapting
%%PORTDOCS%%@dirrm %%DOCSDIR%%




--- Makefile.orig	Sat Sep 23 05:26:01 2006
+++ Makefile	Tue Jan  2 10:42: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

 
 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 @@
@@ -127,41 +125,36 @@
 # 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.

 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

-	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}/gnome ]; then \
+	  ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/gnome/pixmaps; \
+	  ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/gnome/applications; \
+	  ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/gnome/mime-info; \
+	  ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/gnome/mime-info; \
+	fi
+
 # backwards compatibility with old linuxes
 	mkdir -p ${DESKTOP}/application-registry
-	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
+	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/gnome/application-registry
+	${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16
+	mkdir -p ${DESKTOP}/icons/hicolor/32x32
+	${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32
+	mkdir -p ${DESKTOP}/icons/hicolor/48x48
+	${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48
+	mkdir -p ${DESKTOP}/pixmaps
+	${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps
+	mkdir -p ${DESKTOP}/applications
+	${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications
+	mkdir -p ${DESKTOP}/mime-info
+	${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info
+	${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info
+	mkdir -p ${DESKTOP}/application-registry
+	${BSD_INSTALL_DATA} 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; \

 	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
+		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-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}
 	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) $*)
 
 # Set PGHOME path in scripts back to default location.
 cleanpgscripts:
-	make pgscripts DEST_ELISP='$$$$HOME/ProofGeneral'
+	$(MAKE) pgscripts DEST_ELISP='$$$$HOME/ProofGeneral'
 
 
 ##
@@ -257,11 +264,11 @@
 ##
 
 devel.%:
-	make -f Makefile.devel $*
+	$(MAKE) -f Makefile.devel $*
 
 ##
 ## scripts: try to patch bash and perl scripts with correct paths
 ##
 
 xemacs.%:
-	make -f Makefile.xemacs $*
+	$(MAKE) -f Makefile.xemacs $*

Return to bug 107414

Lines 2-16 Link Here

(-)Makefile (-32 / +23 lines)
2	# Date created: 11 August 2005	2	# Date created: 11 August 2005
3	# Whom: Timothy Bourke <timbob@bigpond.com>	3	# Whom: Timothy Bourke <timbob@bigpond.com>
4	#	4	#
5	# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.10 2006/12/09 19:57:26 kris Exp $	5	# $FreeBSD$
6	#	6	#
7		7
8	PORTNAME= proofgeneral	8	PORTNAME= proofgeneral
9	PORTVERSION= 3.6	9	PORTVERSION= 3.6
10	PORTREVISION= 1	10	PORTREVISION= 2
11	CATEGORIES= math elisp	11	CATEGORIES= math elisp
12	MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/	12	MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
13	DISTNAME= ProofGeneral-3.6pre051004	13	DISTNAME= ProofGeneral-3.6pre061107
14		14
15	MAINTAINER= timbob@bigpond.com	15	MAINTAINER= timbob@bigpond.com
16	COMMENT= A generic interface for proof assistants	16	COMMENT= A generic interface for proof assistants
Lines 18-34 Link Here
18	PKGNAMESUFFIX+= -${EMACS_NAME}	18	PKGNAMESUFFIX+= -${EMACS_NAME}
19		19
20	BUILD_DEPENDS+= bash:${PORTSDIR}/shells/bash	20	BUILD_DEPENDS+= bash:${PORTSDIR}/shells/bash
21	RUN_DEPENDS+= ${LOCALBASE}/share/applications/.keep_me:${PORTSDIR}/misc/kdehier	21	RUN_DEPENDS+= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme
22
23	BROKEN= Incomplete pkg-plist
24	DEPRECATED= Needs to be rewritten to not include bsd.emacs.mk
25	EXPIRATION_DATE=2007-02-07
26
27	.include <bsd.port.pre.mk>
28
29	.if ${ARCH} == "amd64"
30	BROKEN="Does not build on amd64"
31	.endif
32		22
33	#	23	#
34	# Unless EMACS_PORT_NAME is overriden by the user,	24	# Unless EMACS_PORT_NAME is overriden by the user,
Lines 39-62 Link Here
39	.if !defined(EMACS_PORT_NAME)	29	.if !defined(EMACS_PORT_NAME)
40	.if !exists(${LOCALBASE}/bin/emacs)	30	.if !exists(${LOCALBASE}/bin/emacs)
41	EMACS_PORT_NAME=xemacs21-mule	31	EMACS_PORT_NAME=xemacs21-mule
		32	BUILD_DEPENDS+= ${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
		33	RUN_DEPENDS+= ${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
42		34
43	# xemacs21-mule does not depend on xemacs-packages, so add a dependency here	35	# xemacs21-mule does not depend on xemacs-packages, so add a dependency here
44	BUILD_DEPENDS+= ${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages	36	BUILD_DEPENDS+= ${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
45	RUN_DEPENDS+= ${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages	37	RUN_DEPENDS+= ${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
46	.else	38	.else
47	EMACS_PORT_NAME=emacs21	39	EMACS_PORT_NAME=emacs
		40	BUILD_DEPENDS+= ${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
		41	RUN_DEPENDS+= ${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
48	.endif	42	.endif
49	.endif	43	.endif
50		44
51	# Needed for proper build- and run-time [x]xemacs dependencies,
52	# and the definition of EMACS_NAME and EMACS_SITE_LISPDIR
53	.include "${PORTSDIR}/Mk/bsd.emacs.mk"
54
55	MAKE_ARGS+= EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
56	USE_EMACS= yes	45	USE_EMACS= yes
57	USE_GMAKE= yes	46	USE_GMAKE= yes
		47	USE_GNOME= gnomehier
		48	INSTALLS_ICONS= yes
58	USE_PERL5= yes	49	USE_PERL5= yes
59		50
		51	.include <bsd.port.pre.mk>
		52
		53	.if ${ARCH} == "amd64"
		54	BROKEN="Does not build on amd64"
		55	.endif
		56
		57	MAKE_ARGS+= EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
		58
60	SUB_FILES= pkg-message	59	SUB_FILES= pkg-message
61	SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}	60	SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
62		61
Lines 65-73 Link Here
65	INFO= PG-adapting ProofGeneral	64	INFO= PG-adapting ProofGeneral
66		65
67	.if !defined(NOPORTDOCS)	66	.if !defined(NOPORTDOCS)
68	PORTDOCS= PG-adapting_.html ProofGeneral_.html \	67	MAKE_ARGS+= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
69	ProofGeneral.pdf PG-adapting.pdf
70	MAKE_ARGS+= INSTALL_DOC=doc.pdf
71	BUILD_DEPENDS+= ${LOCALBASE}/bin/texi2pdf:${PORTSDIR}/print/teTeX-base	68	BUILD_DEPENDS+= ${LOCALBASE}/bin/texi2pdf:${PORTSDIR}/print/teTeX-base
72	.endif	69	.endif
73		70
Lines 77-93 Link Here
77	${TOUCH} ${WRKSRC}/.byte-compile	74	${TOUCH} ${WRKSRC}/.byte-compile
78		75
79	pre-build:	76	pre-build:
80	.if defined(BYTE_COMPILE)	77	#.if defined(BYTE_COMPILE)
81	@${RM} ${WRKSRC}/.byte-compile	78	@${RM} ${WRKSRC}/.byte-compile \|\| ${TRUE}
82	.endif	79	#.endif
83		80
84	post-install:	81	post-install:
85	.if !defined(NOPORTDOCS)
86	${MKDIR} ${DOCSDIR}
87	.for file in ${PORTDOCS}
88	${INSTALL_DATA} ${WRKSRC}/doc/${file} ${DOCSDIR}
89	.endfor
90	.endif
91	@${CAT} ${PKGMESSAGE}	82	@${CAT} ${PKGMESSAGE}
92		83
93	.include <bsd.port.post.mk>	84	.include <bsd.port.post.mk>

Lines 1-10 Link Here

(-)files/patch-Makefile (-68 / +57 lines)
1	--- Makefile.orig Thu Dec 8 07:07:44 2005	1	--- Makefile.orig Sat Sep 23 05:26:01 2006
2	+++ Makefile Thu Dec 8 07:36:00 2005	2	+++ Makefile Tue Jan 2 10:42:43 2007
3	@@ -15,7 +15,7 @@	3	@@ -15,7 +15,7 @@
4		4
5	# Set this to "emacs" or "xemacs" according to your version of Emacs.	5	# Set this to "emacs" or "xemacs" according to your version of Emacs.
6	# NB: this is also used to set default install path names below.	6	# NB: this is also used to set default install path names below.
7	-EMACS=xemacs	7	-EMACS=$(shell if [ -z "`which xemacs`" ]; then echo emacs; else echo xemacs; fi)
8	+EMACS=${EMACS_NAME}	8	+EMACS=${EMACS_NAME}
9		9
10	# We default to /usr rather than /usr/local because installs of	10	# We default to /usr rather than /usr/local because installs of
Lines 19-35 Link Here
19		19
20	PWD=$(shell pwd)	20	PWD=$(shell pwd)
21		21
22	@@ -69,8 +68,7 @@	22	@@ -78,7 +77,7 @@
23	## compiles.	23	## compiles.
24	##	24	##
25	compile: .byte-compile	25	compile: .byte-compile
26	- lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS)" ]; then rm -f .byte-compile; make .byte-compile; fi	26	- lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS)" ]; then rm -f .byte-compile; make .byte-compile; fi
27	-	27	+ lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "$(EMACS_NAME)" ]; then rm -f .byte-compile; $(MAKE) .byte-compile; fi
28	+ lastemacs=`cat .byte-compile`; if [ "$$lastemacs" != "${EMACS_NAME}" ]; then rm -f .byte-compile; $(MAKE) .byte-compile; fi	28
29		29
30	.byte-compile: $(EL) x-symbol/lisp/*.el	30	.byte-compile: $(EL) x-symbol/lisp/*.el
31	@echo "*************************************************"	31	@@ -136,42 +135,37 @@
32	@@ -127,41 +125,36 @@
33	# Set Elisp directories according to paths used in Red Hat RPMs	32	# Set Elisp directories according to paths used in Red Hat RPMs
34	# (which may or may not be official Emacs policy). We generate	33	# (which may or may not be official Emacs policy). We generate
35	# a pg-init.el file which loads the appropriate proof-site.el.	34	# a pg-init.el file which loads the appropriate proof-site.el.
Lines 50-62 Link Here
50	DESKTOP=${PREFIX}/share	49	DESKTOP=${PREFIX}/share
51	-DOCDIR=${PREFIX}/share/doc/ProofGeneral	50	-DOCDIR=${PREFIX}/share/doc/ProofGeneral
52	-MANDIR=${PREFIX}/share/man/man1	51	-MANDIR=${PREFIX}/share/man/man1
53	-INFODIR=${PREFIX}/share/info/	52	-INFODIR=${PREFIX}/share/info
54	+DOCDIR=${DOCSDIR}	53	+DOCDIR=${DOCSDIR}
55	+MANDIR=${PREFIX}/man/man1	54	+MANDIR=${PREFIX}/man/man1
56	+INFODIR=${PREFIX}/info/	55	+INFODIR=${PREFIX}/info
57		56
58	-install: install-desktop install-elisp install-bin install-init	57	-install: install-desktop install-elisp install-bin install-init
59	+install: install-desktop install-elisp install-bin install-init install-doc	58	+install: install-desktop install-elisp install-bin install-init ${INSTALLDOC}
60		59
61	install-desktop:	60	install-desktop:
62	- mkdir -p ${DESKTOP}/icons/hicolor/16x16	61	- mkdir -p ${DESKTOP}/icons/hicolor/16x16
Lines 72-104 Link Here
72	- mkdir -p ${DESKTOP}/mime-info	71	- mkdir -p ${DESKTOP}/mime-info
73	- cp etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info	72	- cp etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info
74	- cp etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info	73	- cp etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info
75	- mkdir -p ${DESKTOP}/application-registry	74	+ if [ -d ${DESKTOP}/icons/hicolor ]; then \
		75	+ ${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16; \
		76	+ ${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32; \
		77	+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48; \
		78	+ fi
		79	+
		80	+ if [ -d ${DESKTOP}/gnome ]; then \
		81	+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/gnome/pixmaps; \
		82	+ ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/gnome/applications; \
		83	+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/gnome/mime-info; \
		84	+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/gnome/mime-info; \
		85	+ fi
		86	+
		87	# backwards compatibility with old linuxes
		88	mkdir -p ${DESKTOP}/application-registry
76	- cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry	89	- cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
77	+ mkdir -p ${DESKTOP}/icons/hicolor/16x16	90	+ cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/gnome/application-registry
78	+ ${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16
79	+ mkdir -p ${DESKTOP}/icons/hicolor/32x32
80	+ ${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32
81	+ mkdir -p ${DESKTOP}/icons/hicolor/48x48
82	+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48
83	+ mkdir -p ${DESKTOP}/pixmaps
84	+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps
85	+ mkdir -p ${DESKTOP}/applications
86	+ ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications
87	+ mkdir -p ${DESKTOP}/mime-info
88	+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info
89	+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info
90	+ mkdir -p ${DESKTOP}/application-registry
91	+ ${BSD_INSTALL_DATA} etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
92		91
93	# NB: .el files are not strictly necessary, but we package/install them	92	# NB: .el files are not strictly necessary, but we package/install them
94	# for the time being to help with debugging, or for users to recompile.	93	# for the time being to help with debugging, or for users to recompile.
95	@@ -176,14 +169,30 @@	94	@@ -186,15 +180,23 @@
96	install-el:	95	install-el:
97	mkdir -p ${ELISP}	96	mkdir -p ${ELISP}
98	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done	97	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
99	- for f in ${ELISP_DIRS}; do cp -pf $$f/*.el ${ELISP}/$$f; done	98	- for f in ${ELISP_DIRS}; do cp -pf $$f/*.el ${ELISP}/$$f; done
100	- for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done	99	- for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done
		100	- for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
101	+ for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.el ${ELISP}/$$f; done	101	+ for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.el ${ELISP}/$$f; done
		102	+ for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_DATA} $$f ${ELISP}/$$f; done
102	+ for f in ${EXTRA_DIRS}; \	103	+ for f in ${EXTRA_DIRS}; \
103	+ do for g in `find -d $$f -type d`; \	104	+ do for g in `find -d $$f -type d`; \
104	+ do mkdir -p ${ELISP}/$$g; \	105	+ do mkdir -p ${ELISP}/$$g; \
Lines 113-176 Link Here
113	mkdir -p ${ELISP}	114	mkdir -p ${ELISP}
114	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done	115	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
115	- for f in ${ELISP_DIRS}; do cp -pf $$f/*.elc ${ELISP}/$$f; done	116	- for f in ${ELISP_DIRS}; do cp -pf $$f/*.elc ${ELISP}/$$f; done
116	- for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done	117	- for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
117	+ for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.elc ${ELISP}/$$f; done	118	+ for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.elc ${ELISP}/$$f; done
118	+ for f in ${EXTRA_DIRS}; \	119	+ for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_DATA} $$f ${ELISP}/$$f; done
119	+ do for g in `find -d $$f -type d`; \
120	+ do mkdir -p ${ELISP}/$$g; \
121	+ files=`find $$g -depth 1 -type f \\! -perm +u+x`; \
122	+ if [ "$$files" != "" ]; then ${BSD_INSTALL_DATA} $$files ${ELISP}/$$g; fi; \
123	+ scripts=`find $$g -depth 1 -type f -perm +u+x`; \
124	+ if [ "$$scripts" != "" ]; then ${BSD_INSTALL_SCRIPT} $$scripts ${ELISP}/$$g; fi; \
125	+ done; \
126	+ done
127		120
128	install-init:	121	install-init:
129	mkdir -p ${ELISP_START}	122	mkdir -p ${ELISP_START}
130	@@ -193,18 +202,16 @@	123	@@ -204,24 +206,31 @@
131		124
132	install-bin: scripts	125	install-bin: scripts
133	mkdir -p ${BINDIR}	126	mkdir -p ${BINDIR}
134	- cp -pf ${BIN_SCRIPTS} ${BINDIR}	127	- cp -pf ${BIN_SCRIPTS} ${BINDIR}
135	+ ${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}	128	+ ${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}
136		129
137	-install-doc: doc.info	130	-install-doc: doc.info doc.pdf
138	+install-doc: doc.info ${INSTALL_DOC}	131	+install-doc: doc.info doc.pdf doc.html
139	mkdir -p ${MANDIR}	132	mkdir -p ${MANDIR}
140	- cp -pf doc/proofgeneral.1 ${MANDIR}	133	- cp -pf doc/proofgeneral.1 ${MANDIR}
141	+ ${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR}	134	- mkdir -p ${INFODIR}
142	mkdir -p ${INFODIR}
143	- cp -pf doc/*.info ${INFODIR}	135	- cp -pf doc/*.info ${INFODIR}
144	- /sbin/install-info ${INFODIR}/ProofGeneral.info* ${INFODIR}/dir	136	- /sbin/install-info ${INFODIR}/ProofGeneral.info* ${INFODIR}/dir
145	- /sbin/install-info ${INFODIR}/PG-adapting.info* ${INFODIR}/dir	137	- /sbin/install-info ${INFODIR}/PG-adapting.info* ${INFODIR}/dir
146	+ ${BSD_INSTALL_MAN} doc/*.info ${INFODIR}	138	+ ${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR}
		139	+ ${BSD_INSTALL_MAN} doc/PG-adapting.info ${INFODIR}
		140	+ ${BSD_INSTALL_MAN} doc/ProofGeneral.info ${INFODIR}
		141	mkdir -p ${DOCDIR}
		142	- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
		143	- for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
		144	+ for f in ${DOC_FILES}; do ${BSD_INSTALL_MAN} $$f ${DOCDIR}; done
		145	+ for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; \
		146	+ ${BSD_INSTALL_MAN} $$f ${DOCDIR}/$$f; done
		147	+ mkdir -p ${DOCDIR}/ProofGeneral
		148	+ for f in doc/ProofGeneral/*.html; do \
		149	+ ${BSD_INSTALL_MAN} $$f ${DOCDIR}/ProofGeneral/`basename $$f`; done
		150	+ mkdir -p ${DOCDIR}/PG-adapting
		151	+ for f in doc/PG-adapting/*.html; do \
		152	+ ${BSD_INSTALL_MAN} $$f ${DOCDIR}/PG-adapting/`basename $$f`; done
		153	+ for f in ProofGeneral.pdf PG-adapting.pdf; do \
		154	+ ${BSD_INSTALL_MAN} doc/$$f ${DOCDIR}/$$f; done
147		155
148	doc.%:	156	doc: FORCE
149	- (cd doc; make $*)	157	- (cd doc; make $*)
150	+ (cd doc; $(MAKE) $*)	158	+ (cd doc; $(MAKE) $*)
151		159
152	##	160	doc.%: FORCE
153	## scripts: try to patch bash and perl scripts with correct paths	161	- (cd doc; make $*)
154	@@ -247,7 +254,7 @@	162	+ (cd doc; $(MAKE) $*)
155
156	# Set PGHOME path in scripts back to default location.
157	cleanpgscripts:
158	- make pgscripts DEST_ELISP='$$$$HOME/ProofGeneral'
159	+ $(MAKE) pgscripts DEST_ELISP='$$$$HOME/ProofGeneral'
160
161
162	##
163	@@ -257,11 +264,11 @@
164	##
165
166	devel.%:
167	- make -f Makefile.devel $*
168	+ $(MAKE) -f Makefile.devel $*
169		163
170	##	164	##
171	## Similarly for xemacs Makefile.	165	## scripts: try to patch bash and perl scripts with correct paths
172	##
173
174	xemacs.%:
175	- make -f Makefile.xemacs $*
176	+ $(MAKE) -f Makefile.xemacs $*