From e2227fbb6e7172cbcbeb69a6fb64e8aeda410ed1 Mon Sep 17 00:00:00 2001
From: Joseph Weston <joseph@weston.cloud>
Date: Mon, 21 Oct 2019 13:33:59 +0200
Subject: [PATCH] don't use xindy when building PDF documentation

---
 doc/source/conf.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/source/conf.py b/doc/source/conf.py
index d3d7fceb..30cd3e59 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -218,6 +218,8 @@ latex_documents = [
 
 latex_engine = 'xelatex'
 
+latex_use_xindy = False
+
 # The name of an image file (relative to this directory) to place at the top of
 # the title page.
 #latex_logo = None
-- 
GitLab