diff options
| author | Satoshi Asami <asami@FreeBSD.org> | 1998-12-01 09:16:45 +0000 |
|---|---|---|
| committer | Satoshi Asami <asami@FreeBSD.org> | 1998-12-01 09:16:45 +0000 |
| commit | 0f17471f20410ad9817dedb7932ed9c55518f0c0 (patch) | |
| tree | 8faad136b7a503bea01afeca579babc93eac8572 /devel/linux_devtools-6/Makefile | |
| parent | Upgrade to 1.1.19, don't split info page. (diff) | |
NO_WRKDIR is evil.
Diffstat (limited to '')
| -rw-r--r-- | devel/linux_devtools-6/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/devel/linux_devtools-6/Makefile b/devel/linux_devtools-6/Makefile index 462b37599875..6e12f15dc426 100644 --- a/devel/linux_devtools-6/Makefile +++ b/devel/linux_devtools-6/Makefile @@ -3,7 +3,7 @@ # Date created: Nov 26 1996 # Whom: erich@FreeBSD.org # -# $Id: Makefile,v 1.6 1998/10/12 18:53:09 jseger Exp $ +# $Id: Makefile,v 1.7 1998/10/13 02:20:19 jseger Exp $ # DISTNAME= linux_devel-0.2 @@ -19,8 +19,7 @@ NO_FILTER_SHLIBS= yes PREFIX= /compat/linux NO_MTREE= yes NO_BUILD= yes -NO_EXTRACT= yes -NO_WRKDIR= yes +EXTRACT_ONLY= # empty MANPREFIX= ${PREFIX}/usr MANCOMPRESSED= yes |