From a66fc9043437d2e75f04feadcfc63c61b04bd196 Mon Sep 17 00:00:00 2001
From: Ilya Gorbunov <ilya.gorbunov@jetbrains.com>
Date: Wed, 13 Jul 2016 20:37:18 +0300
Subject: [PATCH] Minor: exclude directory with the generated stdlib
 documentation

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

diff --git a/libraries/.gitignore b/libraries/.gitignore
index f7f4ca2461c..e2ae2315a83 100644
--- a/libraries/.gitignore
+++ b/libraries/.gitignore
@@ -1,4 +1,5 @@
 target
+/doc/
 .idea
 *.iml
 *.ipr