if [[ $FULLDOCS == y ]]; then
   OPTS="$OPTS --enable-fulldocs"
else
   OPTS="$OPTS --disable-fulldocs"
fi &&

default_build
