[help.gnome.org: 7/14] cfg: Minimize the build

[Bartłomiej Piotrowski <bpiotrowski src gnome org>]

commit 4106b40b60908a23d818446322a43fed3b8e3aaa
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Tue Sep 28 20:56:24 2021 +0100

    cfg: Minimize the build
    
    - Drop translations
    - Drop the gnome-help 3.32 branch
    - Drop the sysadmin guide

 pintail.cfg | 33 ++++++++++++++++-----------------
 1 file changed, 16 insertions(+), 17 deletions(-)
---
diff --git a/pintail.cfg b/pintail.cfg
index 77f664f..6353579 100644
--- a/pintail.cfg
+++ b/pintail.cfg
@@ -5,8 +5,8 @@ link_extension =
 custom_xsl = gnome.xsl
 custom_css = gnome.css
 plugins = pintail.git pintail.docbook
-translation_provider = pintail.itstool.ItstoolTranslationProvider
-itstool_batch_dirs = True
+#translation_provider = pintail.itstool.ItstoolTranslationProvider
+#itstool_batch_dirs = True
 
 [local]
 link_extension = .html
@@ -17,10 +17,10 @@ extra_files = gnome-logo.png gnome-banner.svg lotsoficons.svg _appicons/help-bro
 [/foo/]
 extra_files = eog.svg
 
-[/system-admin-guide/]
-git_repository = https://gitlab.gnome.org/GNOME/gnome-user-docs.git
-git_directory = system-admin-guide/C
-git_branch = master
+#[/system-admin-guide/]
+#git_repository = https://gitlab.gnome.org/GNOME/gnome-user-docs.git
+#git_directory = system-admin-guide/C
+#git_branch = master
 
 #[/accessibility-devel-guide/]
 #git_repository = https://gitlab.gnome.org/GNOME/gnome-devel-docs.git
@@ -36,17 +36,16 @@ git_branch = master
 git_repository = https://gitlab.gnome.org/GNOME/gnome-user-docs.git
 git_directory = gnome-help/C
 #FIXME
-git_branch = gnome-3-32
-
-[/unstable/gnome-help/]
-git_repository = https://gitlab.gnome.org/GNOME/gnome-user-docs.git
-git_directory = gnome-help/C
 git_branch = master
-sources = gnome-getting-started-docs-master
 
-[gnome-getting-started-docs-master]
-exclude_files = index.page
-git_repository = https://gitlab.gnome.org/GNOME/gnome-getting-started-docs.git
-git_directory = gnome-help/C
-git_branch = master
+#[/unstable/gnome-help/]
+#git_repository = https://gitlab.gnome.org/GNOME/gnome-user-docs.git
+#git_directory = gnome-help/C
+#git_branch = master
+#sources = gnome-getting-started-docs-master
 
+#[gnome-getting-started-docs-master]
+#exclude_files = index.page
+#git_repository = https://gitlab.gnome.org/GNOME/gnome-getting-started-docs.git
+#git_directory = gnome-help/C
+#git_branch = master