Make doctools optional

2 jobs for master in 3 minutes and 36 seconds (queued for 97 minutes and 35 seconds)
Status Name Job ID Coverage
  Build
passed build_clazy_clang_tidy #103261

00:01:44

passed linux kf5-qt5 qt5.15 #103260

00:01:51

0.0%