if [[ DEVKIT_POWER_MAN == y ]]; then
  OPTS="$OPTS --enable-man-pages" default_build
else
  OPTS="$OPTS --disable-man-pages" default_build
fi
