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