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 | 56b682547ab69c8cb46ba64a7be665fc46665708 (patch) | |
| tree | d07ba0f660c05047a740c044241768026823dfe7 /lang/twelf | |
| parent | 4a2efdf6fdd2ffdd80d2004f36cc96ee8d1c5dfe (diff) | |
| download | pkgsrc-56b682547ab69c8cb46ba64a7be665fc46665708.tar.gz | |
USE_NEW_TEXINFO is unnecessary now.
Diffstat (limited to 'lang/twelf')
| -rw-r--r-- | lang/twelf/Makefile | 3 |
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 |