From 9836ca3ef3f111a1d4988f7e24172baa3baaa903 Mon Sep 17 00:00:00 2001
From: Roberto Rosario <roberto.rosario.gonzalez@gmail.com>
Date: Thu, 13 Jun 2019 02:19:23 -0400
Subject: [PATCH] Ignore documentation builds

Signed-off-by: Roberto Rosario <roberto.rosario.gonzalez@gmail.com>
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index aacbc61194..2f445a7b83 100644
--- a/.gitignore
+++ b/.gitignore
@@ -32,3 +32,4 @@ static_collected/
 /whoosh_index/
 google_fonts/
 node_modules/
+docs/build/