diff options
Diffstat (limited to 'Makefile.inc1')
| -rw-r--r-- | Makefile.inc1 | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 3a80f27..64412aa 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -93,7 +93,7 @@ SUBDIR+= usr.bin SUBDIR+= usr.sbin .endif -# etc must be last for "distribute" to work +# etc must be last for install/distribute to work .if exists(${.CURDIR}/etc) SUBDIR+= etc .endif @@ -432,13 +432,6 @@ reinstall: @echo ">>> Installing everything.." @echo "--------------------------------------------------------------" cd ${.CURDIR}; ${MAKE} -f Makefile.inc1 install -.if !defined(NOMAN) && !defined(NO_MAKEDB_RUN) - @echo - @echo "--------------------------------------------------------------" - @echo ">>> Rebuilding man page indices" - @echo "--------------------------------------------------------------" - cd ${.CURDIR}/share/man; ${MAKE} makedb -.endif redistribute: @echo "--------------------------------------------------------------" |
