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

default_build
