diff options
| author |   Andreas Sturmlechner <asturm@gentoo.org> | 2019-02-09 16:37:44 +0100 |
|---|---|---|
| committer | Andreas Sturmlechner <asturm@gentoo.org> | 2019-02-09 17:06:46 +0100 |
| commit | 5ffc52eb5d798a0fce8647f8b87e0459148849c2 (patch) | |
| tree | eacad64003e16263a93b0cb4d00ea5fb46cb5e6f /app-editors/kile/files | |
| parent | media-sound/upmpdcli: Bump to 1.4.0 (diff) | |
| download | gentoo-5ffc52eb5d798a0fce8647f8b87e0459148849c2.tar.gz gentoo-5ffc52eb5d798a0fce8647f8b87e0459148849c2.tar.bz2 gentoo-5ffc52eb5d798a0fce8647f8b87e0459148849c2.zip | |
app-editors/kile: Patch to make KF5DocTools really optional
Package-Manager: Portage-2.3.59, Repoman-2.3.12
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Diffstat (limited to 'app-editors/kile/files')
| -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() |