DOCS: allow to skip documentation rebuilds with "NODOC=1 make"
DOCS: allow to skip documentation rebuilds with "NODOC=1 make"

GNOME/beast,swesterfeld/beast,tim-janik/beast,tim-janik/beast,tim-janik/beast,GNOME/beast,swesterfeld/beast,swesterfeld/beast,GNOME/beast,swesterfeld/beast,GNOME/beast,swesterfeld/beast,tim-janik/beast,GNOME/beast,GNOME/beast,tim-janik/beast,tim-janik/beast,tim-janik/beast,GNOME/beast,swesterfeld/beast,swesterfeld/beast