D8932: make docbook compilation optional

[Adriaan de Groot]

adridg accepted this revision.
This revision is now accepted and ready to land.

REPOSITORY
  R352 Filelight

BRANCH
  optional-docs

REVISION DETAIL
  https://phabricator.kde.org/D8932

To: sitter, kfunk, sandsmark, adridg
Cc: kde-utils-devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kde-utils-devel/attachments/20171206/b2a73273/attachment.html>