summaryrefslogtreecommitdiff
path: root/lang/mercury
diff options
context:
space:
mode:
authorseb <seb@pkgsrc.org>2003-08-09 10:59:08 +0000
committerseb <seb@pkgsrc.org>2003-08-09 10:59:08 +0000
commitd512b4fc7d1023f058b26e8cdb922abc72600a70 (patch)
treed07ba0f660c05047a740c044241768026823dfe7 /lang/mercury
parent54951c6c166cd5d8319fb5f7f67be2a905754478 (diff)
downloadpkgsrc-d512b4fc7d1023f058b26e8cdb922abc72600a70.tar.gz
USE_NEW_TEXINFO is unnecessary now.
Diffstat (limited to 'lang/mercury')
-rw-r--r--lang/mercury/Makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/mercury/Makefile b/lang/mercury/Makefile
index 38fa512a31d..ae7dd6f2fd3 100644
--- a/lang/mercury/Makefile
+++ b/lang/mercury/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.13 2003/07/21 16:54:03 martti Exp $
+# $NetBSD: Makefile,v 1.14 2003/08/09 10:59:10 seb Exp $
DISTNAME= mercury-compiler-0.11.0
PKGNAME= mercury-0.11.0
@@ -16,7 +16,6 @@ GNU_CONFIGURE= yes
USE_GMAKE= yes
USE_GNU_READLINE= yes # rl_prep_term_function
-USE_NEW_TEXINFO= YES
INFO_FILES= mercury.info mercury_faq.info mercury_library.info
INFO_FILES+= mercury_ref.info mercury_trans_guide.info