From 3e810b1de73e8c16858849c5996ccb4263508467 Mon Sep 17 00:00:00 2001
From: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
Date: Sat, 23 May 2020 20:03:36 +0100
Subject: [PATCH] Add venv for rtd docs to .gitignore.

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 53c2314e3..2eedd56ad 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+idris2docs_venv
 *~
 *.ibc
 *.ttc