diff options
author | seb <seb@pkgsrc.org> | 2003-08-09 10:59:08 +0000 |
---|---|---|
committer | seb <seb@pkgsrc.org> | 2003-08-09 10:59:08 +0000 |
commit | d512b4fc7d1023f058b26e8cdb922abc72600a70 (patch) | |
tree | d07ba0f660c05047a740c044241768026823dfe7 /lang/mercury | |
parent | 54951c6c166cd5d8319fb5f7f67be2a905754478 (diff) | |
download | pkgsrc-d512b4fc7d1023f058b26e8cdb922abc72600a70.tar.gz |
USE_NEW_TEXINFO is unnecessary now.
Diffstat (limited to 'lang/mercury')
-rw-r--r-- | lang/mercury/Makefile | 3 |
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 |