Adjust build script to build documentation only once

This patch removes the ALL option from the documentation build command so
that it must be run manually with "make doc". This prevents the documentation
being built twice (normal build + install phase). It also allows the
documentation building to happen after the code building, which makes the
logs much more readable in parallel builds.
Forwarded: no

Gbp-Pq: Name 02_build-doc-once.patch

0 files changed, 0 insertions, 0 deletions