From cc50bace86f07f8d2eaaabd103dc3c5a0c74c58b Mon Sep 17 00:00:00 2001
From: Rafael Fontenelle <rffontenelle@users.noreply.github.com>
Date: Sun, 19 Nov 2023 09:29:20 -0300
Subject: [PATCH] Mention sphinx-lint in the translation tools (#1230)

---
 documentation/translating.rst | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/documentation/translating.rst b/documentation/translating.rst
index d71d4b65f7..1a860da87f 100644
--- a/documentation/translating.rst
+++ b/documentation/translating.rst
@@ -213,6 +213,8 @@ Here's what we're using:
 - `powrap <https://pypi.org/project/powrap/>`__ to rewrap the ``.po`` files
   before committing. This helps keep Git diffs short.
 - `potodo <https://pypi.org/project/potodo/>`__ to list what needs to be translated.
+- `sphinx-lint <https://pypi.org/project/sphinx-lint/>`__ to validate reST syntax in
+  translation files.
 
 
 How is a coordinator elected?