[gnome-terminal] help: No more option to change the character encoding of a terminal

[Andre Klapper <aklapper src gnome org>]

commit c8dbb72433107a3c0099656133a052d9911bb2aa
Author: Andre Klapper <a9016009 gmx de>
Date:   Sat Jan 4 19:16:22 2020 +0100

    help: No more option to change the character encoding of a terminal
    
    It's still available per profile, and that's covered in the docs.

 help/C/pref-encoding.page | 64 -----------------------------------------------
 help/Makefile.am          |  1 -
 2 files changed, 65 deletions(-)
---
diff --git a/help/Makefile.am b/help/Makefile.am
index bba82d5e..f91d3228 100644
--- a/help/Makefile.am
+++ b/help/Makefile.am
@@ -28,7 +28,6 @@ HELP_FILES = \
        pref-bell.page \
        pref-custom-exit.page \
        pref-custom-command.page \
-       pref-encoding.page \
        pref-keyboard-access.page \
        pref-login-shell.page \
        pref-menubar.page \