diff options
Diffstat (limited to 'app-editors/kile/files/kile-2.9.92-kf5doctools.patch')
| -rw-r--r-- | app-editors/kile/files/kile-2.9.92-kf5doctools.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/app-editors/kile/files/kile-2.9.92-kf5doctools.patch b/app-editors/kile/files/kile-2.9.92-kf5doctools.patch new file mode 100644 index 000000000000..2f5a70e815a6 --- /dev/null +++ b/app-editors/kile/files/kile-2.9.92-kf5doctools.patch @@ -0,0 +1,13 @@ +--- a/CMakeLists.txt 2018-05-11 20:12:37.000000000 +0200 ++++ b/CMakeLists.txt 2019-02-09 16:33:18.953280283 +0100 +@@ -125,7 +125,7 @@ + DESTINATION ${KDE_INSTALL_DATAROOTDIR}/doc/kile) + + feature_summary(WHAT ALL FATAL_ON_MISSING_REQUIRED_PACKAGES) +-find_package(KF5I18n CONFIG REQUIRED) + ki18n_install(po) +-find_package(KF5DocTools CONFIG REQUIRED) +-kdoctools_install(po) ++if(KF5DocTools_FOUND) ++ kdoctools_install(po) ++endif() |