[gnome-mines] help: Drop Keyboard Shortcuts page

[Robert Roth <robertroth src gnome org>]

commit 593d104e1d5aab18d079f10333b123c006f7d232
Author: Jeremy Bicha <jbicha ubuntu com>
Date:   Fri Jan 11 12:11:44 2019 -0500

    help: Drop Keyboard Shortcuts page
    
    It duplicate the Keyboard Shortcuts overlay
    and there weren't any complaints about removing it

 help/C/index.page     |  7 +------
 help/C/shortcuts.page | 43 -------------------------------------------
 help/meson.build      |  1 -
 3 files changed, 1 insertion(+), 50 deletions(-)
---
diff --git a/help/C/index.page b/help/C/index.page
index 6118ce7..fd38f8b 100644
--- a/help/C/index.page
+++ b/help/C/index.page
@@ -37,15 +37,10 @@
     <title>Useful tips</title>
   </section>
 
-<!--
-Let's not include Keyboard Shortcuts here for now.
-See https://mail.gnome.org/archives/desktop-devel-list/2018-December/msg00024.html
   <section id="advanced" style="2column">
     <title>Advanced</title>
-
-
   </section>
-  -->
+
   <section id="get-involved" style="2column">
     <title>Get Involved</title>
   </section>
diff --git a/help/meson.build b/help/meson.build
index 4cd9fd3..e80a5c6 100644
--- a/help/meson.build
+++ b/help/meson.build
@@ -10,7 +10,6 @@ gnome.yelp ('gnome-mines',
                        'license.page',
                        'new-game.page',
                        'rules.page',
-                       'shortcuts.page',
                        'translate.page' ],
             media: [ 'figures/flag-question.svg',
                      'figures/flags.png',