if [ -d "${INSTALL_PATH}"/usr/share/man ]; then
  # in the case of empty directories, try to remove them
  rmdir "${INSTALL_PATH}"/usr/share/man/man5 1>/dev/null 2>&1
  rmdir	"${INSTALL_PATH}"/usr/share/man/man1 1>/dev/null 2>&1
  rmdir	"${INSTALL_PATH}"/usr/share/man 1>/dev/null 2>&1
fi