summaryrefslogtreecommitdiff
path: root/math/proofgeneral
diff options
context:
space:
mode:
authorPav Lucistnik <pav@FreeBSD.org>2012-06-27 19:30:14 +0000
committerPav Lucistnik <pav@FreeBSD.org>2012-06-27 19:30:14 +0000
commit0f15eed738f329ece0f4baa1a4592b4bcb17133d (patch)
tree7da371a1aad966e9a91f0cde27b968f1aae40add /math/proofgeneral
parent- Use SAVANNAH macro for MASTER_SITES (diff)
- Mark BROKEN: does not build
texi2html -expandinfo -number -split_chapter --noheader --output PG-adapting PG-adapting.texi Option number is ambiguous (number-footnotes, number-sections) Reported by: pointyhat
Notes
Notes: svn path=/head/; revision=300109
Diffstat (limited to 'math/proofgeneral')
-rw-r--r--math/proofgeneral/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile
index 90b51b7cde87..1a42e3ee916f 100644
--- a/math/proofgeneral/Makefile
+++ b/math/proofgeneral/Makefile
@@ -23,6 +23,8 @@ LICENSE_FILE= ${WRKSRC}/COPYING
BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash
RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme
+BROKEN= does not build
+
USE_EMACS= yes
USE_GMAKE= yes
INSTALLS_ICONS= yes