diff options
-rw-r--r-- | mk/install/install-info | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mk/install/install-info b/mk/install/install-info index b55194c76a4..10855a60897 100644 --- a/mk/install/install-info +++ b/mk/install/install-info @@ -21,5 +21,9 @@ DEINSTALL) ${INSTALL_INFO} --delete --info-dir=${PKG_PREFIX}/${INFO_DIR} \ ${PKG_PREFIX}/${INFO_DIR}/${f} 1>/dev/null 2>&1 done + _nentries="`${GREP} -c '^\*' ${PKG_PREFIX}/${INFO_DIR}/dir`" + if [ "${_nentries}" -le 1 ]; then + ${RM} ${PKG_PREFIX}/${INFO_DIR}/dir + fi ;; esac |