From 8528568c1cf9cf612784848a2d5fda637ca414ff Mon Sep 17 00:00:00 2001
From: Sergei Trofimov <sergei.trofimov@arm.com>
Date: Wed, 7 Dec 2016 18:13:44 +0000
Subject: [PATCH] gitignore update.

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

diff --git a/.gitignore b/.gitignore
index 6475149..85b36c7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
 .ropeproject
 *.egg-info
 devlib/bin/scripts/shutils
+doc/_build/