From 1170bf854e7760a82ba67413eea1d0acd6d95ead Mon Sep 17 00:00:00 2001 From: seb Date: Sat, 9 Aug 2003 10:59:08 +0000 Subject: USE_NEW_TEXINFO is unnecessary now. --- lang/twelf/Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lang/twelf/Makefile') 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 -- cgit v1.2.3