From 4068b04cc986fd056a0ae210b7491af52d3bc025 Mon Sep 17 00:00:00 2001
From: Jellyfrog <Jellyfrog@users.noreply.github.com>
Date: Tue, 6 Oct 2020 01:52:16 +0200
Subject: [PATCH] Add missing mkdocs extension (#12193)

Regression from 551e95a2e0da814af3cd08141c2f2fab30da2d4f
---
 scripts/deploy-docs.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/deploy-docs.sh b/scripts/deploy-docs.sh
index e7f71ae414..ab372100a9 100755
--- a/scripts/deploy-docs.sh
+++ b/scripts/deploy-docs.sh
@@ -15,6 +15,7 @@ livereload==2.6.1
 lunr==0.5.8
 Markdown==3.2.2
 mkdocs==1.1.2
+mkdocs-exclude==1.0.2
 mkdocs-material==5.2.2
 nltk==3.5
 pymdown-extensions==7.1