diff options
| author | Jan-Marek Glogowski <glogow@fbihome.de> | 2019-07-09 15:28:29 +0000 |
|---|---|---|
| committer | Jan-Marek Glogowski <glogow@fbihome.de> | 2019-07-21 23:22:46 +0200 |
| commit | d3c6ac6d0f23df56644008ccb6aa2c8fa37ab1b5 (patch) | |
| tree | 8f5e5a004c937d5a85fd66ff72834a977b645ace /postprocess | |
| parent | 49d17d392b7c7a309b3d9264643881656d386eb1 (diff) | |
tdf#125922 rename kde5 to kf5 + plasma5
Just as the gtk3 plugin isn't named GNOME, rename kde5 to kf5, as
it is based on the KDE frameworks 5 libraries.
This also includes:
* a convenience alias to load the kf5 VCL plugin in case someone
requests the kde5 plugin.
* keep convenience kde5 configure switch, but warn about it
* rename detected desktop from kde5 to plasma5
Change-Id: I6764a05b81a5edbf284484c234fee2649aacf735
Reviewed-on: https://gerrit.libreoffice.org/75313
Tested-by: Jenkins
Reviewed-by: Jan-Marek Glogowski <glogow@fbihome.de>
Diffstat (limited to 'postprocess')
| -rw-r--r-- | postprocess/Rdb_services.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/postprocess/Rdb_services.mk b/postprocess/Rdb_services.mk index 0b9e1cfcc9fb..ab2ded7ae3a0 100644 --- a/postprocess/Rdb_services.mk +++ b/postprocess/Rdb_services.mk @@ -207,8 +207,8 @@ $(eval $(call gb_Rdb_add_components,services,\ $(if $(ENABLE_VLC), \ avmedia/source/vlc/avmediavlc \ ) \ - $(if $(ENABLE_KDE5), \ - shell/source/backends/kde5be/kde5be1 \ + $(if $(ENABLE_KF5), \ + shell/source/backends/kf5be/kf5be1 \ ) \ $(if $(ENABLE_ONLINE_UPDATE), \ extensions/source/update/check/updchk.uno \ |