Don't install docs if there are no docs to install.
This commit is contained in:
parent
e00497ca48
commit
f29128fc7b
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=213903
1 changed files with 6 additions and 4 deletions
|
@ -50,10 +50,12 @@ make-descr:
|
||||||
do-install:
|
do-install:
|
||||||
. if !defined(NOPORTDOCS)
|
. if !defined(NOPORTDOCS)
|
||||||
. for d in ${BOOKS}
|
. for d in ${BOOKS}
|
||||||
${MKDIR} ${DOCSDIR}/${d}
|
if [ -d ${REFERENCE_SRC}/${d}/html ]; then \
|
||||||
|
${MKDIR} ${DOCSDIR}/${d}; \
|
||||||
cd ${REFERENCE_SRC}/${d}/html && \
|
cd ${REFERENCE_SRC}/${d}/html && \
|
||||||
${FIND} * -type d ! -empty -exec ${MKDIR} "${DOCSDIR}/${d}/{}" \; && \
|
${FIND} * -type d ! -empty -exec ${MKDIR} "${DOCSDIR}/${d}/{}" \; && \
|
||||||
${FIND} * -type f -exec ${INSTALL_DATA} "{}" "${DOCSDIR}/${d}/{}" \;
|
${FIND} * -type f -exec ${INSTALL_DATA} "{}" "${DOCSDIR}/${d}/{}" \; ; \
|
||||||
|
fi
|
||||||
. endfor
|
. endfor
|
||||||
. endif
|
. endif
|
||||||
.endif
|
.endif
|
||||||
|
|
Loading…
Reference in a new issue