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.
This commit is contained in:
Joshua Peck Macdonald 1997-01-11 10:53:01 +00:00
parent 38a1b9404b
commit 9abd8172b6
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=21536

View File

@ -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 \