Remove duplicate KF5DocTools search, make it optional
Using ecm_optional_add_subdirectory, as long as KDELibs4Support makes it impossible to disable KF5DocTools. REVIEW: 127335
parent
a2841d14
Please register or sign in to comment
Using ecm_optional_add_subdirectory, as long as KDELibs4Support makes it impossible to disable KF5DocTools. REVIEW: 127335