app-editors/kile: Patch to make KF5DocTools really optional
authorAndreas Sturmlechner <asturm@gentoo.org>
Sat, 9 Feb 2019 15:37:44 +0000 (16:37 +0100)
committerAndreas Sturmlechner <asturm@gentoo.org>
Sat, 9 Feb 2019 16:06:46 +0000 (17:06 +0100)
commit5ffc52eb5d798a0fce8647f8b87e0459148849c2
treeeacad64003e16263a93b0cb4d00ea5fb46cb5e6f
parent40f04f1ef95b0aa1b5e2e30e3bd9649441e9f5da
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>
app-editors/kile/files/kile-2.9.92-kf5doctools.patch [new file with mode: 0644]
app-editors/kile/kile-2.9.92-r1.ebuild