File mysql-workbench-license-location.patch of Package mysql-workbench

--- mysql-workbench-community-8.0.15-org/frontend/linux/workbench/main_form.cpp	2019-01-30 15:32:36.000000000 +0200
+++ mysql-workbench-community-8.0.15-src/frontend/linux/workbench/main_form.cpp	2019-02-22 23:34:44.515070418 +0200
@@ -1499,7 +1499,7 @@
     auto parts = base::split(bec::GRTManager::get()->get_basedir(), "/");
     std::string last = parts.back();
     parts.pop_back();
-    parts.push_back("doc");
+    parts.push_back("licenses"); // used only for License.txt
     parts.push_back(last);
     parts.push_back(file);
     return base::join(parts, "/");