Attachment #123513 for bug #166867

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




#
# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.27 2011/06/18 16:13:31 hrs Exp $
#

PORTNAME=	proofgeneral
PORTVERSION=	4.1
PORTREVISION=	5
CATEGORIES=	math elisp
MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
DISTNAME=	ProofGeneral-${PORTVERSION}
EXTRACT_SUFX=	.tgz

MAINTAINER=	beyert@cs.ucr.edu
COMMENT=	A generic interface for proof assistants

LICENSE=	GPLv2
LICENSE_FILE=	${WRKSRC}/COPYING

PKGNAMESUFFIX+=	-${EMACS_NAME}

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

#
# Unless EMACS_PORT_NAME is overriden by the user,
# use any installed version of [X]Emacs.
#
# If there is none installed, use xemacs21-mule.
#
.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

USE_EMACS=	yes
USE_GMAKE=	yes
USE_GNOME=	gnomehier
INSTALLS_ICONS=	yes
USE_PERL5=	yes

.include <bsd.port.pre.mk>

MAKE_ARGS+=	PREFIX="${LOCALBASE}" DEST_PREFIX="${PREFIX}" MAKE="${GMAKE}" \
	DOCDIR="${DOCSDIR}" MANDIR="${PREFIX}/man/man1" INFODIR="${PREFIX}/info" \
	BINDIR="${PREFIX}/bin" DESKTOP="${PREFIX}/share" \
	ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \
	ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
	ELISP_START="${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \
	EMACS="${EMACS_NAME}" EMACS_NAME="${EMACS_NAME}" \
	DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
	EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}"

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

MAN1=		proofgeneral.1

MANCOMPRESSED=	no
INFO=		PG-adapting ProofGeneral

.if !defined(NOPORTDOCS)
MAKE_ARGS+=	DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
BUILD_DEPENDS+=	texi2html:${PORTSDIR}/print/texinfo
		texi2pdf:${PORTSDIR}/print/texinfo
.endif

post-patch:
	@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
		${WRKSRC}/etc/desktop/proofgeneral.desktop

Lines 1-2 Link Here

(-)math/proofgeneral/distinfo (-2 / +2 lines)
1	SHA256 (ProofGeneral-3.7.1.tgz) = e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93	1	SHA256 (ProofGeneral-4.1.tgz) = 2a264d46b48185cf1a6ebcca958e59171ea670fb0fc82ba46b8e1d6918ea7dc7
2	SIZE (ProofGeneral-3.7.1.tgz) = 2023176	2	SIZE (ProofGeneral-4.1.tgz) = 1428499




--- 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
 # 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)
 
@@ -75,8 +74,8 @@
 ##	     old .elc's and re-compile.
 ##
 compile: $(EL) x-symbol/lisp/*.el
-	lastemacs=`cat .byte-compile 2>/dev/null || echo `; if [ "$$lastemacs" != "" ] && [ "$$lastemacs" != "$(EMACS)" ]; then rm -f .byte-compile $(ELC) x-symbol/lisp/*.elc; fi
-	make .byte-compile
+	lastemacs=`cat .byte-compile 2>/dev/null || echo `; if [ "$$lastemacs" != "" ] && [ "$$lastemacs" != "$(EMACS_NAME)" ]; then rm -f .byte-compile $(ELC) x-symbol/lisp/*.elc; fi
+	$(MAKE) .byte-compile
 
 ## Compiling can show up errors in the code, but be wary of fixing obsoletion
 ## or argument call warnings unless they're valid for both Emacsen.
@@ -85,10 +84,10 @@
 	@echo "****************************************************************"
 	@echo " Byte compiling... "
 	@echo "****************************************************************"
-	make elc
+	$(MAKE) elc
 	@echo " Byte compiling X-Symbol..."
 	(cd x-symbol/lisp; $(MAKE) EMACS="$(EMACS) -q -no-site-file")
-	echo $(EMACS) > $(@)
+	echo $(EMACS_NAME) > $(@)
 	@echo "****************************************************************"
 	@echo " Finished."
 	@echo "****************************************************************"
@@ -137,39 +136,35 @@
 # 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

+	${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_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}
+
+install-doc: doc.pdf doc.html
 	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`; \

+	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) EMACS=$(EMACS) $*)
+	(cd doc; $(MAKE) EMACS=$(EMACS) $*)
 
 doc.%: FORCE
-	(cd doc; make EMACS=$(EMACS) $*)
+	(cd doc; $(MAKE) EMACS=$(EMACS) $*)
 
 ##
 ## scripts: try to patch bash and perl scripts with correct paths




--- doc/Makefile.doc.orig	2008-02-23 15:11:19.000000000 +1100
+++ doc/Makefile.doc	2008-02-23 15:10:59.000000000 +1100
@@ -155,10 +155,10 @@
 ##	  (developer use only!)
 ##
 ## remove this for now: no magic during dist ../*/*.el 
-$(DOCNAME).texi: 
-	$(MAKE) magic
-magic:
-	$(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
+#$(DOCNAME).texi: 
+#	$(MAKE) magic
+#magic:
+#	$(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




--- doc/Makefile.doc.orig	2011-05-05 10:46:27.000000000 -0700
+++ doc/Makefile.doc	2012-04-11 22:03:35.000000000 -0700
@@ -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

Lines 1-11 Link Here

(-)math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop (-2 / +2 lines)
1	--- etc/desktop/proofgeneral.desktop.orig Thu Dec 8 07:40:38 2005	1	--- etc/desktop/proofgeneral.desktop.orig 2012-04-11 20:39:33.000000000 -0700
2	+++ etc/desktop/proofgeneral.desktop Thu Dec 8 07:41:03 2005	2	+++ etc/desktop/proofgeneral.desktop 2012-04-11 20:41:16.000000000 -0700
3	@@ -5,7 +5,7 @@	3	@@ -5,7 +5,7 @@
4	Name=Proof General	4	Name=Proof General
5	GenericName=Theorem proving environment	5	GenericName=Theorem proving environment
6	Comment=Organise your proofs!	6	Comment=Organise your proofs!
7	-Icon=proofgeneral.png	7	-Icon=proofgeneral.png
8	+Icon=%%PREFIX%%/share/pixmaps/proofgeneral.png	8	+Icon=%%PREFIX%%/share/pixmaps/proofgeneral.png
9	FilePattern=proofgeneral	9	FilePattern=proofgeneral
10	TryExec=proofgeneral	10	TryExec=proofgeneral
11	Exec=proofgeneral %F	11	Exec=proofgeneral %F

Lines 1-11 Link Here

(-)math/proofgeneral/files/patch-isar-interface (-11 lines)
1	--- isar/interface.orig 2008-07-29 13:22:58.000000000 +1000
2	+++ isar/interface 2008-07-29 13:25:10.000000000 +1000
3	@@ -60,7 +60,7 @@
4	GEOMETRY=""
5	KEYWORDS=""
6	LOGIC="$ISABELLE_LOGIC"
7	-PROGNAME="emacs"
8	+PROGNAME="%%EMACS_NAME%%"
9	INITFILE="true"
10	WINDOWSYSTEM="true"
11	XSYMBOL=""

Line 0 Link Here

(-)math/proofgeneral/files/patch-isar_interface (+11 lines)
	1	--- isar/interface.orig 2011-01-27 11:54:20.000000000 -0800
	2	+++ isar/interface 2012-04-11 20:26:06.000000000 -0700
	3	@@ -57,7 +57,7 @@
	4	UNICODE=""
	5	FONT=""
	6	GEOMETRY=""
	7	-PROGNAME="emacs"
	8	+PROGNAME="%%EMACS_NAME%%"
	9	INITFILE="true"
	10	WINDOWSYSTEM="true"
	11	UNICODE_SYMBOLS=""




bin/coqtags
bin/isartags
bin/legotags
bin/proofgeneral
share/application-registry/proofgeneral.applications
share/applications/proofgeneral.desktop
%%PORTDOCS%%%%DOCSDIR%%/AUTHORS
%%PORTDOCS%%%%DOCSDIR%%/BUGS
%%PORTDOCS%%%%DOCSDIR%%/CHANGES
%%PORTDOCS%%%%DOCSDIR%%/COMPATIBILITY
%%PORTDOCS%%%%DOCSDIR%%/COPYING
%%PORTDOCS%%%%DOCSDIR%%/INSTALL
%%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
%%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_22.html
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral/ProofGeneral_23.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%%/README
%%PORTDOCS%%%%DOCSDIR%%/REGISTER
%%PORTDOCS%%%%DOCSDIR%%/acl2/example.acl2
%%PORTDOCS%%%%DOCSDIR%%/acl2/root2.acl2
%%PORTDOCS%%%%DOCSDIR%%/hol98/example.sml
%%PORTDOCS%%%%DOCSDIR%%/hol98/root2.sml
%%PORTDOCS%%%%DOCSDIR%%/isar/Example-Tokens.thy
%%PORTDOCS%%%%DOCSDIR%%/isar/Example.thy
%%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%%/twelf/example.elf
%%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/x-symbol-acl2.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-auto.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-auto.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-class.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-class.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cmds.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cmds.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-compat.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-compat.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cweb.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-cweb.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mason.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mason.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mode.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-mode.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-region.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-region.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-rpm.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-rpm.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-sample.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-sample.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-univ.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-univ.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-utils.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-utils.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-vars.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm/mmm-vars.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-autotest.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-db.el

%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-syntax.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-unicode-tokens.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/coq/coq-unicode-tokens.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/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.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-custom.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-custom.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-goals.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-goals.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-movie.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-movie.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pamacs.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pamacs.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pbrpm.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pbrpm.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pgip.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-pgip.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-vars.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-vars.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-auxmodes.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-auxmodes.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-faces.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-faces.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-indent.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-indent.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-maths-menu.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-maths-menu.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-menu.el

%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-syntax.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-toolbar.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-toolbar.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-unicode-tokens.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-unicode-tokens.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-useropts.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-useropts.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/proof-x-symbol.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98/hol98.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.gif
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/ProofGeneral.jpg
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/README
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-abort.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-abort.xpm

%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-goal.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-goto.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-goto.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-help.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-help.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-home.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-home.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-info.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-info.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-interrupt.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-interrupt.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-next.png

%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-state.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-undo.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-undo.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-use.png
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/epg-use.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/gimp/.cvsignore
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/hiddenproof.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-abort.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-command.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-context.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-find.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-goal.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-goto.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-help.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-info.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-interrupt.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-next.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-qed.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-restart.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-retract.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-state.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-undo.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/images/pg-use.xpm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/interface
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/interface-setup.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/interface-setup.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isabelle-system.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isabelle-system.elc

%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-find-theorems.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-profiling.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-profiling.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-syntax.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-syntax.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-unicode-tokens.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar-unicode-tokens.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isar.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/isar/isartags
%%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/bufhist.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/bufhist.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/holes.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/local-vars-list.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/local-vars-list.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/maths-menu.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/maths-menu.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-fontsets.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-fontsets.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/scomint.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/scomint.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/unicode-chars.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/unicode-chars.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/unicode-tokens.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/unicode-tokens.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/xml-fixed.el
%%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-compat.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-cweb.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-cweb.elc
%%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-mode.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-noweb.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/mmm/mmm-noweb.elc
%%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-vars.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-extraction.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-font.el

%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-sym-lock.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-tags.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox-tags.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/x-symbol-phox.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/x-symbol-phox.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic-syntax.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic-syntax.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic/plastic.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-font.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-font.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-old.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf-old.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/twelf.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/x-symbol-twelf.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf/x-symbol-twelf.elc
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/README.x-symbol-for-ProofGeneral
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/Makefile.emacs
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/RIP.xbm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/bigfonts/README
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/bigfonts/fonts.tar
%%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/escherknot.xbm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/README
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/isaxsym.ttf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/XSymb0Medium.ttf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/XSymb1Medium.ttf
%%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/makesub
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/nilxs.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/xsymb0_12.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/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/genfonts/2helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/2helvR12sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/2helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/2helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR12sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR14sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/3helvR14sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/5etl14sub.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/5etl16sup.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR12sub.bdf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/genfonts/helvR12sup.bdf
%%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/5etl14sup.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/helvR12sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR12sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/helvR14sub.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/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/heriR12sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR12sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR14.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/heriR14sub.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/xsymb0_12sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_14.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_14sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_14sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_18.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_18sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_18sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_24.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb0_24sub.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/xsymb1_18.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_18sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_18sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_24.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_24sub.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/pcf/xsymb1_24sup.pcf
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/recycle.xbm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/termlock.xbm
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/utf-unicode-list.txt
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/info/x-symbol.info
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/ChangeLog
%%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-autoloads.el
%%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-unichars.el
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/lisp/x-symbol-unicode-extras.el
%%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-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/x-symbol.texi
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/pkginfo/MANIFEST.x-symbol
%%EMACS_SITE_LISPDIR%%/site-start.d/pg-init.el
share/application-registry/proofgeneral.applications
share/applications/proofgeneral.desktop
share/pixmaps/proofgeneral.png
share/icons/hicolor/16x16/proofgeneral.png
share/icons/hicolor/32x32/proofgeneral.png
share/icons/hicolor/48x48/proofgeneral.png
share/mime-info/proofgeneral.mime
share/mime-info/proofgeneral.keys
share/mime-info/proofgeneral.mime
share/pixmaps/proofgeneral.png
@dirrmtry share/mime-info
@dirrmtry share/icons/hicolor/48x48
@dirrmtry share/icons/hicolor/32x32
@dirrmtry share/icons/hicolor/16x16
@dirrmtry share/icons/hicolor
@dirrmtry share/icons
@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/phox
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/pgshell
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/lego
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/isar
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/images
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/hol98
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/coq
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib/mmm
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/contrib
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral
%%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
%%PORTDOCS%%%%DOCSDIR%%/ProofGeneral.pdf
%%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%%/README
%%PORTDOCS%%%%DOCSDIR%%/REGISTER
%%PORTDOCS%%%%DOCSDIR%%/acl2/example.acl2
%%PORTDOCS%%%%DOCSDIR%%/acl2/root2.acl2
%%PORTDOCS%%%%DOCSDIR%%/hol98/example.sml
%%PORTDOCS%%%%DOCSDIR%%/hol98/root2.sml
%%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%%@dirrm %%DOCSDIR%%/twelf
%%PORTDOCS%%@dirrm %%DOCSDIR%%/plastic
%%PORTDOCS%%@dirrm %%DOCSDIR%%/phox
%%PORTDOCS%%@dirrm %%DOCSDIR%%/pgshell
%%PORTDOCS%%@dirrm %%DOCSDIR%%/lego

%%PORTDOCS%%@dirrm %%DOCSDIR%%/hol98
%%PORTDOCS%%@dirrm %%DOCSDIR%%/acl2
%%PORTDOCS%%@dirrm %%DOCSDIR%%/ProofGeneral
%%PORTDOCS%%@dirrm %%DOCSDIR%%/PG-adapting
%%PORTDOCS%%@dirrm %%DOCSDIR%%
@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/info
@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-ttf
@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
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/twelf
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/plastic
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/phox
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/pgshell
@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/images/gimp
@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/ccc
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral
@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
@dirrmtry share/applications
@dirrmtry share/application-registry
@dirrmtry share/pixmaps
%%PORTDOCS%%@exec mkdir -p %D/%%DOCSDIR%%/plastic
%%PORTDOCS%%@exec mkdir -p %D/%%DOCSDIR%%/lclam

Return to bug 166867

Lines 4-59 Link Here

(-)math/proofgeneral/Makefile (-29 / +15 lines)
4	#	4	#
5	# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.27 2011/06/18 16:13:31 hrs Exp $	5	# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.27 2011/06/18 16:13:31 hrs Exp $
6	#	6	#
7		7
8	PORTNAME= proofgeneral	8	PORTNAME= proofgeneral
9	PORTVERSION= 3.7.1	9	PORTVERSION= 4.1
10	PORTREVISION= 5
11	CATEGORIES= math elisp	10	CATEGORIES= math elisp
12	MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/	11	MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
13	DISTNAME= ProofGeneral-3.7.1	12	DISTNAME= ProofGeneral-${PORTVERSION}
14	EXTRACT_SUFX= .tgz	13	EXTRACT_SUFX= .tgz
15		14
16	MAINTAINER= beyert@cs.ucr.edu	15	MAINTAINER= beyert@cs.ucr.edu
17	COMMENT= A generic interface for proof assistants	16	COMMENT= A generic interface for proof assistants
18		17
		18	LICENSE= GPLv2
		19	LICENSE_FILE= ${WRKSRC}/COPYING
		20
19	PKGNAMESUFFIX+= -${EMACS_NAME}	21	PKGNAMESUFFIX+= -${EMACS_NAME}
20		22
21	BUILD_DEPENDS+= bash:${PORTSDIR}/shells/bash	23	BUILD_DEPENDS+= bash:${PORTSDIR}/shells/bash
22	RUN_DEPENDS+= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme	24	RUN_DEPENDS+= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme
23		25
24	#
25	# Unless EMACS_PORT_NAME is overriden by the user,
26	# use any installed version of [X]Emacs.
27	#
28	# If there is none installed, use xemacs21-mule.
29	#
30	.if !defined(EMACS_PORT_NAME)
31	.if !exists(${LOCALBASE}/bin/emacs)
32	EMACS_PORT_NAME=xemacs21-mule
33	BUILD_DEPENDS+= ${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
34	RUN_DEPENDS+= ${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
35
36	# xemacs21-mule does not depend on xemacs-packages, so add a dependency here
37	BUILD_DEPENDS+= ${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
38	RUN_DEPENDS+= ${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
39	.else
40	EMACS_PORT_NAME=emacs
41	BUILD_DEPENDS+= ${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
42	RUN_DEPENDS+= ${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
43	.endif
44	.endif
45
46	USE_EMACS= yes	26	USE_EMACS= yes
47	USE_GMAKE= yes	27	USE_GMAKE= yes
48	USE_GNOME= gnomehier
49	INSTALLS_ICONS= yes	28	INSTALLS_ICONS= yes
50	USE_PERL5= yes	29	USE_PERL5= yes
51		30
52	.include <bsd.port.pre.mk>	31	.include <bsd.port.pre.mk>
53		32
54	MAKE_ARGS+= EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}	33	MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${PREFIX}" MAKE="${GMAKE}" \
		34	DOCDIR="${DOCSDIR}" MANDIR="${PREFIX}/man/man1" INFODIR="${PREFIX}/info" \
		35	BINDIR="${PREFIX}/bin" DESKTOP="${PREFIX}/share" \
		36	ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \
		37	ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
		38	ELISP_START="${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \
		39	EMACS="${EMACS_NAME}" EMACS_NAME="${EMACS_NAME}" \
		40	DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
		41	EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}"
55		42
56	SUB_FILES= pkg-message	43	SUB_FILES= pkg-message
57	SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}	44	SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
58		45
59	MAN1= proofgeneral.1	46	MAN1= proofgeneral.1
Lines 60-71 Link Here
60	MANCOMPRESSED= no	47	MANCOMPRESSED= no
61	INFO= PG-adapting ProofGeneral	48	INFO= PG-adapting ProofGeneral
62		49
63	.if !defined(NOPORTDOCS)	50	.if !defined(NOPORTDOCS)
64	MAKE_ARGS+= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc	51	MAKE_ARGS+= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
65	BUILD_DEPENDS+= latex:${PORTSDIR}/print/teTeX-base \	52	BUILD_DEPENDS+= texi2html:${PORTSDIR}/print/texinfo
66	texi2pdf:${PORTSDIR}/print/texinfo
67	.endif	53	.endif
68		54
69	post-patch:	55	post-patch:
70	@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \	56	@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
71	${WRKSRC}/etc/desktop/proofgeneral.desktop	57	${WRKSRC}/etc/desktop/proofgeneral.desktop

Lines 1-78 Link Here

(-)math/proofgeneral/files/patch-Makefile (-85 / +17 lines)
1	--- Makefile.orig 2008-02-01 00:06:38.000000000 +1100	1	--- Makefile.orig 2010-10-10 15:56:56.000000000 -0700
2	+++ Makefile 2008-07-29 13:09:58.000000000 +1000	2	+++ Makefile 2012-04-11 22:30:19.000000000 -0700
3	@@ -21,7 +21,7 @@	3	@@ -41,7 +41,7 @@
		4	ELISP_EXTRAS=isar/interface isar/isartags
		5	EXTRA_DIRS = images
4		6
5	# Set this to "emacs" or "xemacs" according to your version of Emacs.	7	-DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER doc/*.pdf
6	# NB: this is also used to set default install path names below.	8	+DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER
7	-EMACS=$(shell if [ -z "`which emacs`" ]; then echo xemacs; else echo emacs; fi)	9	DOC_EXAMPLES=acl2/.acl2 hol98/.sml isar/.thy lclam/.lcm lego/.l pgshell/.pgsh phox/.phx plastic/.lf twelf/*.elf
8	+EMACS=${EMACS_NAME}	10	DOC_SUBDIRS=${DOC_EXAMPLES} /README /CHANGES /BUGS
9		11
10	# We default to /usr rather than /usr/local because installs of	12	@@ -135,22 +135,23 @@
11	# desktop and doc files under /usr/local are unlikely to work with	13	MANDIR=${PREFIX}/share/man/man1
12	@@ -29,8 +29,7 @@	14	INFODIR=${PREFIX}/share/info
13	# individually before the install section.
14	# NB: DEST_PREFIX is used for final destination prefix, in case we're
15	# packaging into a build prefix rather than live root (e.g. in rpmbuild).
16	-PREFIX=/usr
17	-DEST_PREFIX=/usr
18	+DEST_PREFIX=${PREFIX}
19		15
20	PWD=$(shell pwd)
21
22	@@ -75,8 +74,8 @@
23	## old .elc's and re-compile.
24	##
25	compile: $(EL) x-symbol/lisp/*.el
26	- lastemacs=`cat .byte-compile 2>/dev/null \|\| echo `; if [ "$$lastemacs" != "" ] && [ "$$lastemacs" != "$(EMACS)" ]; then rm -f .byte-compile $(ELC) x-symbol/lisp/*.elc; fi
27	- make .byte-compile
28	+ lastemacs=`cat .byte-compile 2>/dev/null \|\| echo `; if [ "$$lastemacs" != "" ] && [ "$$lastemacs" != "$(EMACS_NAME)" ]; then rm -f .byte-compile $(ELC) x-symbol/lisp/*.elc; fi
29	+ $(MAKE) .byte-compile
30
31	## Compiling can show up errors in the code, but be wary of fixing obsoletion
32	## or argument call warnings unless they're valid for both Emacsen.
33	@@ -85,10 +84,10 @@
34	@echo "****************************************************************"
35	@echo " Byte compiling... "
36	@echo "****************************************************************"
37	- make elc
38	+ $(MAKE) elc
39	@echo " Byte compiling X-Symbol..."
40	(cd x-symbol/lisp; $(MAKE) EMACS="$(EMACS) -q -no-site-file")
41	- echo $(EMACS) > $(@)
42	+ echo $(EMACS_NAME) > $(@)
43	@echo "****************************************************************"
44	@echo " Finished."
45	@echo "****************************************************************"
46	@@ -137,39 +136,35 @@
47	# Set Elisp directories according to paths used in Red Hat RPMs
48	# (which may or may not be official Emacs policy). We generate
49	# a pg-init.el file which loads the appropriate proof-site.el.
50	-ifeq ($(EMACS),xemacs)
51	-ELISPP=share/xemacs/site-packages/lisp/ProofGeneral
52	-ELISP_START=${PREFIX}/share/xemacs/site-packages/lisp/site-start.d
53	-else
54	-ELISPP=share/${EMACS}/site-lisp/ProofGeneral
55	-ELISP_START=${PREFIX}/share/${EMACS}/site-lisp/site-start.d
56	-endif
57	+ELISPP=${EMACS_SITE_LISPDIR}/ProofGeneral
58	+ELISP_START=${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d
59
60	ELISP=${PREFIX}/${ELISPP}
61	DEST_ELISP=${DEST_PREFIX}/${ELISPP}
62
63	BINDIR=${PREFIX}/bin
64	DESKTOP=${PREFIX}/share
65	-DOCDIR=${PREFIX}/share/doc/ProofGeneral
66	-MANDIR=${PREFIX}/share/man/man1
67	-INFODIR=${PREFIX}/share/info
68	+DOCDIR=${DOCSDIR}
69	+MANDIR=${PREFIX}/man/man1
70	+INFODIR=${PREFIX}/info
71
72	-install: install-desktop install-elisp install-bin install-init	16	-install: install-desktop install-elisp install-bin install-init
73	+install: install-desktop install-elisp install-bin install-init install-man ${INSTALLDOC}	17	+install: install-desktop install-elisp install-bin install-init ${INSTALLDOC}
74		18
75	install-desktop:	19	install-desktop:
76	- mkdir -p ${DESKTOP}/icons/hicolor/16x16	20	- mkdir -p ${DESKTOP}/icons/hicolor/16x16
77	- cp etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16	21	- cp etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16
78	- mkdir -p ${DESKTOP}/icons/hicolor/32x32	22	- mkdir -p ${DESKTOP}/icons/hicolor/32x32
Lines 101-111 Link Here
101	+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info/	45	+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info/
102	+	46	+
103	# backwards compatibility with old linuxes	47	# backwards compatibility with old linuxes
104	mkdir -p ${DESKTOP}/application-registry	48	mkdir -p ${DESKTOP}/application-registry
105	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry	49	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
106	@@ -190,15 +185,23 @@	50	@@ -168,15 +169,23 @@
107	install-el:	51	install-el:
108	mkdir -p ${ELISP}	52	mkdir -p ${ELISP}
109	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done	53	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
110	- for f in ${ELISP_DIRS}; do cp -pf $$f/*.el ${ELISP}/$$f; done	54	- for f in ${ELISP_DIRS}; do cp -pf $$f/*.el ${ELISP}/$$f; done
111	- for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done	55	- for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done
Lines 130-159 Link Here
130	+ for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.elc ${ELISP}/$$f; done	74	+ for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.elc ${ELISP}/$$f; done
131	+ for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_SCRIPT} $$f ${ELISP}/$$f; done	75	+ for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_SCRIPT} $$f ${ELISP}/$$f; done
132		76
133	install-init:	77	install-init:
134	mkdir -p ${ELISP_START}	78	mkdir -p ${ELISP_START}
135	@@ -208,24 +211,33 @@	79	@@ -186,18 +195,23 @@
136		80
137	install-bin: scripts	81	install-bin: scripts
138	mkdir -p ${BINDIR}	82	mkdir -p ${BINDIR}
139	- cp -pf ${BIN_SCRIPTS} ${BINDIR}	83	- cp -pf ${BIN_SCRIPTS} ${BINDIR}
140	+ ${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}	84	+ ${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}
141		85
142	-install-doc: doc.info doc.pdf	86	-install-doc: doc.info doc.pdf
143	+install-man: doc.info	87	+install-doc: doc.html
144	mkdir -p ${MANDIR}	88	mkdir -p ${MANDIR}
145	- cp -pf doc/proofgeneral.1 ${MANDIR}	89	- cp -pf doc/proofgeneral.1 ${MANDIR}
146	- mkdir -p ${INFODIR}	90	- mkdir -p ${INFODIR}
147	- cp -pf doc/*.info ${INFODIR}	91	- cp -pf doc/*.info ${INFODIR}
148	- /sbin/install-info ${INFODIR}/ProofGeneral.info* ${INFODIR}/dir	92	- /sbin/install-info ${INFODIR}/ProofGeneral.info* ${INFODIR}/dir
149	- /sbin/install-info ${INFODIR}/PG-adapting.info* ${INFODIR}/dir	93	- /sbin/install-info ${INFODIR}/PG-adapting.info* ${INFODIR}/dir
150	+ ${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR}	94	+ ${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR}
151	+ ${BSD_INSTALL_MAN} doc/PG-adapting.info ${INFODIR}	95	+ ${BSD_INSTALL_MAN} doc/PG-adapting.info ${INFODIR}
152	+ ${BSD_INSTALL_MAN} doc/ProofGeneral.info ${INFODIR}	96	+ ${BSD_INSTALL_MAN} doc/ProofGeneral.info ${INFODIR}
153	+
154	+install-doc: doc.pdf doc.html
155	mkdir -p ${DOCDIR}	97	mkdir -p ${DOCDIR}
156	- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done	98	- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
157	- for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done	99	- for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
158	+ for f in ${DOC_FILES}; do ${BSD_INSTALL_MAN} $$f ${DOCDIR}; done	100	+ for f in ${DOC_FILES}; do ${BSD_INSTALL_MAN} $$f ${DOCDIR}; done
159	+ for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; \	101	+ for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; \
Lines 162-179 Link Here
162	+ for f in doc/ProofGeneral/*.html; do \	104	+ for f in doc/ProofGeneral/*.html; do \
163	+ ${BSD_INSTALL_MAN} $$f ${DOCDIR}/ProofGeneral/`basename $$f`; done	105	+ ${BSD_INSTALL_MAN} $$f ${DOCDIR}/ProofGeneral/`basename $$f`; done
164	+ mkdir -p ${DOCDIR}/PG-adapting	106	+ mkdir -p ${DOCDIR}/PG-adapting
165	+ for f in doc/PG-adapting/*.html; do \	107	+ for f in doc/PG-adapting/*.html; do \
166	+ ${BSD_INSTALL_MAN} $$f ${DOCDIR}/PG-adapting/`basename $$f`; done	108	+ ${BSD_INSTALL_MAN} $$f ${DOCDIR}/PG-adapting/`basename $$f`; done
167	+ for f in ProofGeneral.pdf PG-adapting.pdf; do \
168	+ ${BSD_INSTALL_MAN} doc/$$f ${DOCDIR}/$$f; done
169		109
170	doc: FORCE	110	doc: FORCE
171	- (cd doc; make EMACS=$(EMACS) $*)	111	(cd doc; $(MAKE) EMACS=$(EMACS) $*)
172	+ (cd doc; $(MAKE) EMACS=$(EMACS) $*)
173
174	doc.%: FORCE
175	- (cd doc; make EMACS=$(EMACS) $*)
176	+ (cd doc; $(MAKE) EMACS=$(EMACS) $*)
177
178	##
179	## scripts: try to patch bash and perl scripts with correct paths

Lines 1-17 Link Here

(-)math/proofgeneral/files/patch-doc-Makefile.doc (-17 lines)
1	--- doc/Makefile.doc.orig 2008-02-23 15:11:19.000000000 +1100
2	+++ doc/Makefile.doc 2008-02-23 15:10:59.000000000 +1100
3	@@ -155,10 +155,10 @@
4	## (developer use only!)
5	##
6	## remove this for now: no magic during dist ..//.el
7	-$(DOCNAME).texi:
8	- $(MAKE) magic
9	-magic:
10	- $(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
11	+#$(DOCNAME).texi:
12	+# $(MAKE) magic
13	+#magic:
14	+# $(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
15
16	debugmagic:
17	$(EMACS) $(EMACFLAGS) -eval '(setq debug-on-error t)' -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer

Line 0 Link Here

(-)math/proofgeneral/files/patch-doc_Makefile.doc (+66 lines)
		1	--- doc/Makefile.doc.orig 2011-05-05 10:46:27.000000000 -0700
		2	+++ doc/Makefile.doc 2012-04-11 22:03:35.000000000 -0700
		3	@@ -40,16 +40,13 @@
		4
		5	TMPFILE=pgt
		6
		7	-.SUFFIXES: .texi .info .html .pdf .gz
		8	+.SUFFIXES: .texi .info .html .gz
		9
		10	default: doc
		11
		12	.texi.info:
		13	$(MAKEINFO) $<
		14
		15	-.texi.pdf:
		16	- $(TEXI2PDF) $<
		17	-
		18	.texi.html:
		19	$(TEXI2HTML) --output $* $<
		20
		21	@@ -61,21 +58,19 @@
		22	gzip -f -9 $*
		23
		24	##
		25	-## doc : build pdf, info files from $(DOCNAME).texi
		26	+## doc : build info files from $(DOCNAME).texi
		27	##
		28	-doc: pdf info
		29	+doc: info
		30
		31	##
		32	## all : build all documentation targets
		33	##
		34	-all: html info pdf
		35	+all: html info
		36
		37	##
		38	## dist: build distribution targets
		39	##
		40	-dist: info html pdf
		41	-
		42	-pdf: $(DOCNAME).pdf
		43	+dist: info html
		44
		45	# da: target is a fake: we actually make in a subdir
		46	html: $(DOCNAME).html
		47	@@ -97,18 +92,13 @@
		48	## distclean: Remove documentation targets
		49	##
		50	distclean: clean
		51	- rm -rf $(DOCNAME).info* $(DOCNAME).pdf $(DOCNAME)
		52	+ rm -rf $(DOCNAME).info* $(DOCNAME)
		53
		54	##
		55	## texi: update magic comments in texi from docstrings in code.
		56	## (developer use only!)
		57	## Must be run from source .els otherwise function arguments lost
		58	##
		59	-$(DOCNAME).texi:
		60	- $(MAKE) magic
		61	-magic:
		62	- (cd ..; make clean)
		63	- $(EMACS) $(EMACSFLAGS) -batch -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer
		64
65	debugmagic:
66	$(EMACS) $(EMACFLAGS) -eval '(setq debug-on-error t)' -l ./docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer