]> cloud.milkyroute.net Git - dolphin.git/commit
projects / dolphin.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5fdcc4) | patch
Make the KDocTools dependency optional
authorAlex Richardson <Alexander.Richardson@cl.cam.ac.uk>
Fri, 9 Jul 2021 08:19:05 +0000 (09:19 +0100)
committerAlex Richardson <Alexander.Richardson@cl.cam.ac.uk>
Fri, 9 Jul 2021 08:19:05 +0000 (09:19 +0100)
commit997977c67a13dd0766f80a9f54631057538a6997
tree5d09e9910f773f972ebdb7eafc858801ca6218e9tree
parentc5fdcc41ded2111b72d7163e51f558fbaded79cccommit | diff
Make the KDocTools dependency optional

I am cross-compiling dolphin and haven't build KDocTools. Since it's only
needed for the handbook we can make the dependency optional.
CMakeLists.txt diff | blob | blame | history
doc/CMakeLists.txt diff | blob | blame | history