[gnome-terminal] help: Do not ship "Save Terminal output to a file" help page

[Andre Klapper <aklapper src gnome org>]

commit 3b0637d697403a2a57acf89f54d3805bfce8942d
Author: Andre Klapper <a9016009 gmx de>
Date:   Sat Jan 4 13:39:21 2020 +0100

    help: Do not ship "Save Terminal output to a file" help page
    
    It is currently only available in development versions.
    
    See #71

 help/C/txt-save-text.page | 5 +++++
 help/Makefile.am          | 3 ++-
 2 files changed, 7 insertions(+), 1 deletion(-)
---
diff --git a/help/C/txt-save-text.page b/help/C/txt-save-text.page
index fb74bf31..8145bf6e 100644
--- a/help/C/txt-save-text.page
+++ b/help/C/txt-save-text.page
@@ -28,6 +28,11 @@
 
   </info>
 
+  <comment>
+  As of 3.34 only available in development versions hence file is commented in
+  /help/Makefile.am. See https://gitlab.gnome.org/GNOME/gnome-terminal/issues/71
+  </comment>
+
   <title>Save contents</title>
 
   <p>You can save all the output from a <app>Terminal</app> tab or window to a
diff --git a/help/Makefile.am b/help/Makefile.am
index de99a6e3..07c0ed01 100644
--- a/help/Makefile.am
+++ b/help/Makefile.am
@@ -40,7 +40,8 @@ HELP_FILES = \
        prob-reset.page \
        txt-copy-paste.page \
        txt-links.page \
-       txt-save-text.page \
+#      https://gitlab.gnome.org/GNOME/gnome-terminal/issues/71 :
+#      txt-save-text.page \
        txt-search.page \
        txt-select-text.page \
        $(NULL)