From b0d69eada6e7b9c7deded3789a86d5a32c37c3f9 Mon Sep 17 00:00:00 2001
From: Colin Schmidt <colins@eecs.berkeley.edu>
Date: Tue, 6 Apr 2021 14:32:41 -0700
Subject: [PATCH] Workaround docutils issue in doc generation

Need this until the following is fixed: https://github.com/sphinx-doc/sphinx/issues/9063
---
 docs/requirements.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 4b1565b36b..bbd41a7151 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -2,3 +2,4 @@ Sphinx==1.8.5
 Pygments==2.2.0
 sphinx-autobuild
 sphinx_rtd_theme==0.2.5b1
+docutils==0.16