OPTS="$OPTS --disable-gtk-doc" && make_single && default_build && make_normal