[gnome-sudoku] help: Remove Command Line

[Piotr Drąg <piotrdrag src gnome org>]

commit bdaef6eece6aa90b5c27fcbb3be8239706c89464
Author: Piotr Drąg <piotrdrag gmail com>
Date:   Tue Dec 5 01:36:13 2017 +0100

    help: Remove Command Line
    
    None of the described options work anymore, with the exception
    of very much standard --help and --version, which hardly need
    a special page dedicated to them.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=739418

 help/C/commandline.page |   41 -----------------------------------------
 help/Makefile.am        |    1 -
 2 files changed, 0 insertions(+), 42 deletions(-)
---
diff --git a/help/Makefile.am b/help/Makefile.am
index e20ede4..4b3971c 100644
--- a/help/Makefile.am
+++ b/help/Makefile.am
@@ -14,7 +14,6 @@ HELP_MEDIA = \
 HELP_FILES = \
        basics.page                     \
        bug-filing.page                 \
-       commandline.page                \
        develop.page                    \
        documentation.page              \
        highlighting.page               \