D7981: cmakeeditor.rb: kdoctools_install conditional on KF5DocTools_FOUND

[Andreas Sturmlechner]

asturmlechner added a comment.


  In https://phabricator.kde.org/D7981#149086, @sitter wrote:
  
  > Note that ki18n is also currently marked REQUIRED though.
  
  
  thanks, I'm not concerned about ki18n as I have not seen it being optional anywhere.

REPOSITORY
  R572 releaseme

BRANCH
  master

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

To: asturmlechner, #plasma, sitter, O2 releaseme
Cc: palimaka, plasma-devel, ZrenBot, progwolff, lesliezhai, ali-mohamed, jensreuterberg, abetts, sebas, apol, mart
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/plasma-devel/attachments/20171001/eac8aae8/attachment.html>