From 6a9f4bdab61bac4f2ef5ac13016b9991ab2e08cb Mon Sep 17 00:00:00 2001
From: Max Veit <maxdveit@gmail.com>
Date: Fri, 9 Apr 2021 12:01:11 +0200
Subject: [PATCH] Force docutils version to avoid bug in 0.17

(https://sourceforge.net/p/docutils/bugs/414/, can revert this once it's
pushed to pyPI)
---
 requirements.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/requirements.txt b/requirements.txt
index 3564a159d..9533d2387 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -12,6 +12,8 @@ breathe>=4.14.1
 sphinx_rtd_theme
 nbsphinx>=0.8.1
 pygments>=2.4.1
+# Weird bug in latest version (0.17) of docutils; can remove once fixed
+docutils==0.16
 # Developers tools - code formatting
 cpplint
 black==20.8b1