summaryrefslogtreecommitdiff
path: root/lang/twelf/Makefile
diff options
context:
space:
mode:
authorseb <seb>2003-08-09 10:59:08 +0000
committerseb <seb>2003-08-09 10:59:08 +0000
commit1170bf854e7760a82ba67413eea1d0acd6d95ead (patch)
treed07ba0f660c05047a740c044241768026823dfe7 /lang/twelf/Makefile
parent94b55fe1ed28cd3d3f5a967638826418bb6d9b3d (diff)
downloadpkgsrc-1170bf854e7760a82ba67413eea1d0acd6d95ead.tar.gz
USE_NEW_TEXINFO is unnecessary now.
Diffstat (limited to 'lang/twelf/Makefile')
-rw-r--r--lang/twelf/Makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile
index 6098cada300..0bbcd078cfc 100644
--- a/lang/twelf/Makefile
+++ b/lang/twelf/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.5 2003/07/07 23:33:49 seb Exp $
+# $NetBSD: Makefile,v 1.6 2003/08/09 10:59:13 seb Exp $
#
DISTNAME= twelf-1-4
@@ -24,7 +24,6 @@ MAKEFILE= smlnj/Makefile
MAKEFLAGS+= sml=${PREFIX:Q}/bin/sml
ALL_TARGET= twelf-server twelf-sml
-USE_NEW_TEXINFO= YES
INFO_FILES= twelf.info
TWELF_LIBDIR= ${PREFIX}/lib/twelf