[help.gnome.org: 9/14] ci: Disable translations only for one job

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

commit 8a40b05a2ff8575445100345e482e44153d13c04
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Tue Sep 28 21:18:25 2021 +0100

    ci: Disable translations only for one job
    
    Use the `--no-translation` CLI option instead of changing the
    configuration file.

 .gitlab-ci.yml | 2 +-
 pintail.cfg    | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7b27034..f6bfb89 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -35,7 +35,7 @@ help-web-en:
     - git clone --depth=1 https://github.com/projectmallard/mallard-ducktype.git
     - cd mallard-ducktype && pip3 install --user -e . && cd ..
     - cd ..
-    - pintail build -v --local
+    - pintail build -v --local --no-translation
     - mv __pintail__/build help-web-C
   artifacts:
     when: always
diff --git a/pintail.cfg b/pintail.cfg
index 0ed3bd3..9df8b53 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