Log Message:
Make documentation optional.

Significantly reduces build time and dependencies.  doc option is
enabled by default so there's no change without explicit
configuration.

From i3enedek on Freenode.

Splitting this into a separate doc package is left as an exercise for
the reader.