diff options
author | des <des@FreeBSD.org> | 1999-04-11 21:48:09 +0000 |
---|---|---|
committer | des <des@FreeBSD.org> | 1999-04-11 21:48:09 +0000 |
commit | 839783f3cb291e56e94c046b51ce8cc37616b9c9 (patch) | |
tree | ce9a491758c039f3021e61d4638de7e2bd7d2213 | |
parent | aa2a8a165f46ceee1384f0dcb21173a1aba008ea (diff) | |
download | FreeBSD-src-839783f3cb291e56e94c046b51ce8cc37616b9c9.zip FreeBSD-src-839783f3cb291e56e94c046b51ce8cc37616b9c9.tar.gz |
Don't build man page indices if NOMAN is defined.
PR: bin/11035
Submitted by: Chris Costello <chris@holly.dyndns.org>
-rw-r--r-- | Makefile.inc1 | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index dc64022..236eaac 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 |