[gnome-sudoku/wip/piotrdrag/help-update: 8/12] help: Remove Command Line

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

commit 16a5034354ede06dd8b4efaa15e3fd49d70c2f99
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.

 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 308cbe9..3739da9 100644
--- a/help/Makefile.am
+++ b/help/Makefile.am
@@ -11,7 +11,6 @@ HELP_MEDIA = \
 HELP_FILES = \
        basics.page                     \
        bug-filing.page                 \
-       commandline.page                \
        develop.page                    \
        documentation.page              \
        highlighting.page               \