diff options
Diffstat (limited to 'kde-misc/kio-gdrive/files/kio-gdrive-1.2.1-doctools.patch')
-rw-r--r-- | kde-misc/kio-gdrive/files/kio-gdrive-1.2.1-doctools.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/kde-misc/kio-gdrive/files/kio-gdrive-1.2.1-doctools.patch b/kde-misc/kio-gdrive/files/kio-gdrive-1.2.1-doctools.patch new file mode 100644 index 000000000000..7ddcf1428b52 --- /dev/null +++ b/kde-misc/kio-gdrive/files/kio-gdrive-1.2.1-doctools.patch @@ -0,0 +1,11 @@ +--- a/CMakeLists.txt 2017-09-30 17:29:04.000000000 +0200 ++++ b/CMakeLists.txt 2017-10-19 20:51:03.198871146 +0200 +@@ -80,5 +80,6 @@ + find_package(KF5I18n CONFIG REQUIRED) + ki18n_install(po) + +-find_package(KF5DocTools CONFIG REQUIRED) +-kdoctools_install(po) ++if(KF5DocTools_FOUND) ++ kdoctools_install(po) ++endif() |