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

default_build