From 9abd8172b651245d99af0fe293ce44f92f26ca57 Mon Sep 17 00:00:00 2001
From: Joshua Peck Macdonald <jmacd@FreeBSD.org>
Date: Sat, 11 Jan 1997 10:53:01 +0000
Subject: [PATCH] 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.
---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index a7332eb89ac5..1a9e1ef72e1a 100644
--- a/Makefile
+++ b/Makefile
@@ -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		\