Don't build man page indices if NOMAN is defined.

PR:		bin/11035
Submitted by:	Chris Costello <chris@holly.dyndns.org>
This commit is contained in:
Dag-Erling Smørgrav 1999-04-11 21:48:09 +00:00
parent 88874fcfe6
commit db0343cabf

View File

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