From db0343cabfe1f4e86fe5aa1fd26d96907ab4838f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dag-Erling=20Sm=C3=B8rgrav?= <des@FreeBSD.org>
Date: Sun, 11 Apr 1999 21:48:09 +0000
Subject: [PATCH] Don't build man page indices if NOMAN is defined.

PR:		bin/11035
Submitted by:	Chris Costello <chris@holly.dyndns.org>
---
 Makefile.inc1 | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile.inc1 b/Makefile.inc1
index dc640226b7ce..236eaac64f86 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -1,5 +1,5 @@
 #
-#	$Id: Makefile.inc1,v 1.71 1999/04/04 21:35:27 obrien Exp $
+#	$Id: Makefile.inc1,v 1.72 1999/04/05 22:37:54 obrien Exp $
 #
 # Make command line options:
 #	-DCLOBBER will remove /usr/include
@@ -365,11 +365,13 @@ reinstall:
 	@echo "--------------------------------------------------------------"
 	-cd ${.CURDIR}; /sbin/ldconfig -R
 .endif
+.if !defined(NOMAN)
 	@echo
 	@echo "--------------------------------------------------------------"
-	@echo ">>> Rebuilding man page indexes"
+	@echo ">>> Rebuilding man page indices"
 	@echo "--------------------------------------------------------------"
 	cd ${.CURDIR}/share/man; ${MAKE} makedb
+.endif
 
 #
 # update