diff options
| author | Joshua Peck Macdonald <jmacd@FreeBSD.org> | 1997-01-11 10:53:01 +0000 |
|---|---|---|
| committer | Joshua Peck Macdonald <jmacd@FreeBSD.org> | 1997-01-11 10:53:01 +0000 |
| commit | 9abd8172b651245d99af0fe293ce44f92f26ca57 (patch) | |
| tree | 341c791bc1ad1131c914b275c7935939878bedeb /Makefile | |
| parent | 38a1b9404b716d334b08d421b7c5eab926907a06 (diff) | |
| download | src-9abd8172b651245d99af0fe293ce44f92f26ca57.tar.gz src-9abd8172b651245d99af0fe293ce44f92f26ca57.zip | |
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.
Notes
Notes:
svn path=/head/; revision=21536
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 \ |