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 | |
parent | Upgrade to 1.1.19, don't split info page. (diff) |
NO_WRKDIR is evil.
Notes
Notes:
svn path=/head/; revision=14992
Diffstat (limited to 'devel/linux_devtools')
-rw-r--r-- | devel/linux_devtools/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/devel/linux_devtools/Makefile b/devel/linux_devtools/Makefile index 462b37599875..6e12f15dc426 100644 --- a/devel/linux_devtools/Makefile +++ b/devel/linux_devtools/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 |