Skip to content

Make the KDocTools dependency optional

Alex Richardson requested to merge arichardson/dolphin:kdoctools-optional into master

I am cross-compiling dolphin and haven't build KDocTools. Since it's only needed for the handbook we can make the dependency optional.

Merge request reports