[gedit] build: remove option to not build plugins, i.e. always build plugins

[Sébastien Wilmet <swilmet src gnome org>]

commit 8c7bfd542843e143c42da810c4438380a4a04e48
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Fri Dec 6 07:53:55 2019 +0100

    build: remove option to not build plugins, i.e. always build plugins
    
    The plugins present in this git repo are part of the core experience of
    gedit and should all be installed by default.

 meson.build       | 6 +-----
 meson_options.txt | 4 ----
 2 files changed, 1 insertion(+), 9 deletions(-)
---
diff --git a/meson.build b/meson.build
index 2b072c56d..1416f4353 100644
--- a/meson.build
+++ b/meson.build
@@ -123,10 +123,7 @@ endif
 subdir('data')
 subdir('po')
 subdir('gedit')
-
-if get_option('plugins')
-  subdir('plugins')
-endif
+subdir('plugins')
 
 if get_option('gtk_doc')
   subdir('docs/reference')
@@ -153,7 +150,6 @@ summary = [
   '        User documentation:    @0@'.format(get_option('user_documentation')),
   '        GObject Introspection: @0@'.format(generate_gir),
   '        Vala API:              @0@'.format(generate_vapi),
-  '        Plugins:               @0@'.format(get_option('plugins')),
   '',
 ]
 message('\n'.join(summary))
diff --git a/meson_options.txt b/meson_options.txt
index 5a518f8f0..d0cbf0720 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -6,10 +6,6 @@ option('vapi',
        type: 'boolean', value: true,
        description: 'Generate vapi data for Vala (requires vapigen)')
 
-option('plugins',
-       type: 'boolean', value: true,
-       description: 'Build core plugins')
-
 option('gtk_doc',
        type: 'boolean', value: false,
        description: 'Build API reference for plugins (requires gtk-doc)')