diff options
| author | jmacd <jmacd@FreeBSD.org> | 1997-01-11 10:53:01 +0000 |
|---|---|---|
| committer | jmacd <jmacd@FreeBSD.org> | 1997-01-11 10:53:01 +0000 |
| commit | c7070e2a23ef7ca724bc55236d7ac1643caba0b5 (patch) | |
| tree | 341c791bc1ad1131c914b275c7935939878bedeb /Makefile | |
| parent | 6984bfb2170c386e8941193eb4298035728ba255 (diff) | |
| download | FreeBSD-src-c7070e2a23ef7ca724bc55236d7ac1643caba0b5.zip FreeBSD-src-c7070e2a23ef7ca724bc55236d7ac1643caba0b5.tar.gz | |
Add -DNOINFO to MK_FLAGS, that's okay right? The comment says
MK_FLAGS contains -DNOMAN and -DNOPROFILE for speed, so I assume
NOINFO is okay as well.
Add gnu/usr.bin/texinfo to build-tools so everything does the right
thing.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.111 1996/12/20 08:18:47 asami Exp $ +# $Id: Makefile,v 1.112 1997/01/07 02:28:57 jkh Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include @@ -18,6 +18,7 @@ # -DNOSECURE do not go into secure subdir # -DNOGAMES do not go into games subdir # -DNOSHARE do not go into share subdir +# -DNOINFO do not make or install info files # # The intended user-driven targets are: @@ -119,7 +120,7 @@ SUPFLAGS?= -v # While building tools for bootstrapping, we dont need to waste time on # profiled libraries or man pages. This speeds things up somewhat. # -MK_FLAGS= -DNOMAN -DNOPROFILE +MK_FLAGS= -DNOINFO -DNOMAN -DNOPROFILE # # world @@ -503,6 +504,7 @@ libraries: # build-tools: .for d in \ + gnu/usr.bin/texinfo \ usr.bin/symorder \ usr.bin/sgmls \ usr.bin/sgmlfmt \ |
