From 19d5ebc6477686d2c57d44a08c5d200cc74db931 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sun, 24 May 2020 15:41:06 +0200
Subject: Fix #12280: do not use xindy to avoid build failures on some
 machines.

---
 doc/sphinx/conf.py | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index fabf7a519f..9a6fd2272b 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -356,6 +356,9 @@ latex_elements = {
 
 latex_engine = "xelatex"
 
+# Cf. https://github.com/sphinx-doc/sphinx/issues/7015
+latex_use_xindy = False
+
 ########
 # done #
 ########
-- 
cgit v1.2.3