[gnome-shell/wip/fmuellner/remove-app-menu: 130/130] build: Don't introspect ShellMenu

[Florian Müllner <fmuellner src gnome org>]

commit ee3cd450a54912f652a623dfd2b42b579b509ed1
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Oct 4 20:09:25 2018 +0200

    build: Don't introspect ShellMenu
    
    It is now only used internally by ShellApp to track remote actions,
    so there's no need to expose it to javascript code.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/issues/624

 src/meson.build | 15 ---------------
 1 file changed, 15 deletions(-)
---
diff --git a/src/meson.build b/src/meson.build
index 9813bc4ef..97a5a796c 100644
--- a/src/meson.build
+++ b/src/meson.build
@@ -79,20 +79,6 @@ libshell_menu = library('gnome-shell-menu',
   install: true
 )
 
-libshell_menu_gir = gnome.generate_gir(libshell_menu,
-  sources: libshell_menu_sources,
-  nsversion: '0.1',
-  namespace: 'ShellMenu',
-  identifier_prefix: 'Gtk',
-  symbol_prefix: 'gtk',
-  includes: ['Gio-2.0', libst_gir[0]],
-  dependencies: [mutter_dep],
-  extra_args: ['--quiet'],
-  install_dir_gir: pkgdatadir,
-  install_dir_typelib: pkglibdir,
-  install: true
-)
-
 libshell_menu_dep = declare_dependency(link_with: libshell_menu)
 
 libshell_public_headers = [
@@ -222,7 +208,6 @@ endif
 
 libshell_gir_includes += [
   libgvc_gir[0],
-  libshell_menu_gir[0],
   libst_gir[0]
 ]