From 8f47c1dd6ca456fc1d7409f9b2c34f8ee6668979 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <gregoire.henry@tezos.com>
Date: Mon, 29 Jan 2018 23:33:21 +0100
Subject: [PATCH] Fix .gitignore

---
 .dockerignore | 1 +
 .gitignore    | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.dockerignore b/.dockerignore
index c05636b18..17b527d1f 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -7,6 +7,7 @@ __pycache__
 _build
 _opam
 _docker_build
+docs/_build
 
 tezos-node
 tezos-protocol-compiler
diff --git a/.gitignore b/.gitignore
index e0714abab..f73cc5a4a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,7 @@ __pycache__
 /_build
 /_opam
 /_docker_build
+/docs/_build
 
 /tezos-node
 /tezos-protocol-compiler