summaryrefslogtreecommitdiff
path: root/math/proofgeneral
diff options
context:
space:
mode:
authorMathieu Arnold <mat@FreeBSD.org>2016-04-01 14:16:16 +0000
committerMathieu Arnold <mat@FreeBSD.org>2016-04-01 14:16:16 +0000
commit8d6597e0bb9591c40fc6d0c6e2159fca51178d56 (patch)
treed3548a0f08ca434f11cb4415a93d98037409413b /math/proofgeneral
parentRemove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l. (diff)
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr Sponsored by: Absolight
Notes
Notes: svn path=/head/; revision=412348
Diffstat (limited to 'math/proofgeneral')
-rw-r--r--math/proofgeneral/Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile
index 03161df6d432..b21b88df7c44 100644
--- a/math/proofgeneral/Makefile
+++ b/math/proofgeneral/Makefile
@@ -15,8 +15,8 @@ COMMENT= Generic interface for proof assistants
LICENSE= GPLv2
LICENSE_FILE= ${WRKSRC}/COPYING
-BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash
-RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme
+BUILD_DEPENDS= bash:shells/bash
+RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:misc/hicolor-icon-theme
USE_EMACS= yes
INSTALLS_ICONS= yes
@@ -48,7 +48,7 @@ INFO= PG-adapting ProofGeneral
.if ${PORT_OPTIONS:MDOCS}
MAKE_ARGS+= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
-BUILD_DEPENDS+= texi2html:${PORTSDIR}/textproc/texi2html
+BUILD_DEPENDS+= texi2html:textproc/texi2html
.endif
PORTDOCS= AUTHORS BUGS CHANGES COMPATIBILITY COPYING INSTALL \